TIL that Euclid's Parallel Postulate had no mention of parallel lines. Although parallel lines exist as a consequence of the postulate, the postulate actually describes how the opposite case arises: how lines intersect. Parallel lines are the negative case of the postulate: lines that never meet.