Should Exist catalogueWhy does pairing count as comparing sizes?Compare sizes without finishing an infinite count.