full hotel fits one more · then infinitely more · cantor: reals can't be listed · some infinities bigger · runs locally