[math-fun] Holyhedra