We meet Mondays, 10.40--11.30, and Tuesdays, 13.40--15.30, in 214/5.

The unproved propositions in the file <elements.*> constitute
a first homework assignment.