removed the horrible normal form proof attempt, the circles and triangles chapter around a bit