Non-Desarguesian projective plane