SMS: Axiomatic projective geometry