Re: [math-fun] Petersen Graph, or Hemi-dodecahedron