The inference from 'physics requires no set larger than P(spacetime)' to 'no larger cardinal exists'...