Working on Euclid's second proposition.