[math-fun] Folding a tie in thirds