Perhaps someone should come up with a generalizable method for combining monoid tutorials. I wonder what we could call it...