"But there's a very famous theorem in topology called the Jordan curve theorem. You have a plane and on it a simple curve that doesn't intersect and closes—in other words, a loop. There's an inside and an outside to the loop." As Riehl draws this, it seems obvious enough, but here's the problem: No matter how much your intuition tells you that there must be an inside and an outside, it's very hard to prove mathematically that this holds true for any loop that can be drawn.