"But there might be infinite different kinds of universes connected to Milliways," she says. "And if some fraction of those have magic, that's infinite universes with magic, and they could all be different kinds. Anyway, your proof doesn't hold up. There's infinite integers, but you can describe any integer in English without taking forever. Same with the rationals, I think."