[math-fun] (HSM) Donald Coxeter