SMS: Axiomatic geometry