Turn it into a proof? I need to revisit Cantor's proof, the argument I was taught left out key aspects of numbers, particularly how "number" and "string of digits you've printed out so far" aren't the same thing. It's really about creating a space-filling curve.