SMS dit: Foundations of Euclidean and non-Euclidean geometry