Text this: Axiomatic projective geometry,