[math-fun] The fisherman's knot (and things like it)