  We take points and planes as fundamental, lines as derived, in an axiomatic
formulation of three-dimensional projective space, the self-dual nature of
which formulation renders automatic the principle of duality.
