some infinities are bigger than other infinities

   @morfoulath