Attributed to the German mathematician David Hilbert, circa 1891
axiom = X X -> -YF+XFX+FY- Y -> +XF-YFY-FX+ angle = 90
