Who was the person who was struggling with un-tangling a knot and thought "I bet I can use math to make this even more complicated"