Turning the plane inside out≈ 1500
Jeder Schritt, den du beweist, landet hier – mit dem Werkzeug, das ihn beweist.