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