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