I notice "cofinality" isn't in the index... I'm curious if you touch on that concept. I recently learned that a monotone map from an ordinal into the natural numbers is necessarily bounded above if the ordinal has uncountable cofinality, which was kind of mind-bending at first. ("You mean the map has to stop somewhere because the domain is too *big*?")