Describir: Foundations of projective geometry