Big and Grey

What's big, grey, and proves the uncountability of the reals?

Cantor's Diagonal Elephant!