Text this: Axiomatic projective geometry /