Logic in 2D, Metalogic in 3D.pdf