Seven is not a power of two
Halving a receding depth by diagonals is exact, and every book gives it. Halving reaches a half, a quarter, three eighths — and never a third, however many times it is spent, because no power of two is divisible by three. There is a construction that reaches every whole fraction, it costs three lines rather than a stack of quadrangles, and the extra ingredient is not a measurement.
rung 4 · construction