[math-fun] Sullivan spooky knot untangler