Synthetic projective geometry | NiceBooksReads