cousin_it comments on The different types (not sizes!) of infinity