Thanks! That "small stellated dodecahedron" drove the point home for me.
(also TIL a 5-pointed star counts as a regular polygon, feels like cheating somehow)
(also TIL a 5-pointed star counts as a regular polygon, feels like cheating somehow)
Yeah, we're used to "convex" polygons. That's the phrasing to remove that part that feels wrong.