> That's not easy to wrap your head around.

I am trying to figure out the formal version of this topological conjecture. Even that isn't easy.