This is already becoming much longer than I had originally anticipated and is
taking much of my little reading time that I have. That said, this is an
excellent way to practice these concepts (rather than hacking, as I would for
practicing a programming language). Therefore, I'm not sure if I will go into as
many examples as I had originally thought (that is, past 4.2.3f); we shall see.
I hope that readers will find this information useful; I have certainly enjoyed
writing it.