[math-fun] The 11-cell