logical geometry

diagrams