I was too. I mean, they show the aperiodic Penrose tiles, which is nice because that's approachable. But the punchline of the story quashes the hope of a nice illustration of the result: the proof works in 2^(100^100)-dimensional space. We always joke that one must only visualize n-space and set n to 2^(100^100)... but that isn't much of a help. It really is a nasty geometry.