"There is no set whose size is strictly between that of the integers and that of the real numbers."

"The vast majority of the infinite collection of programs that are written within these worlds will be buggy, ill-behaved, or even ill advised, resulting in worlds containing no self-aware-substructures at all, or perhaps even lawyers and politicians."