Ben Pace, the Vacationing Vagabond comments on The different types (not sizes!) of infinity