Title: Geometry and logic