We had the fourth examlet and then finished up functions.
Specifically, we did two abstract proofs with onto and
one-to-one, where we knew only general properties of the
functions involved (not their specific equations).
The big UIUC ACM chapter's "Reflections/projections" conference is this
Thursday through Sunday. Be there or be square.