[math-fun] shoe lacings