A quarter-turn in a square≈ 1300
Jeder Schritt, den du beweist, landet hier – mit dem Werkzeug, das ihn beweist.