[math-fun] The bathroom square dance