Playfair’s Axiom
If a point P is not on a line K, then there is on P at most one line M that does not intersect K.
An equivalent statement to the Fifth Postulate; negative statements are hard to learn.
Exercise 1 -- put it in your notebook, please, as part of the assignment