Text this: Foundations of Euclidean and non-Euclidean geometry