Text this: Axiomatic geometry