This lecture returns to Euclid's geometry, with the eventual goal of showing the key theorems he needs to establish his logically elegant and philosophically important theory of parallels. Working your way through a series of proofs, learn how Euclid employs his basic assumptions, or postulates.