Replying to myself, but the comments actually seem to do a pretty good job of teaching, so my comment about adding more to the assert messages probably isn't really needed.