Cantor's diagonal elephant

Q: What's big, grey, and proves the uncountability of the reals?
A: Cantor's diagonal elephant