Some projective geometry