Euclidean geometry
Euclidean geometry is assumed throughout.