Text this: An axiomatic approach to geometry :