3 ms·

> 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.