4.5, due on June 1

(difficult)
The two or three proofs after Lagrange's theorem were difficult.

(reflective)
So groups now have the congruence relation. It will be interesting to see what will be the next level of abstraction.