[math-fun] Julian's dodecahedron