SMS: Projective and Euclidean geometry