@wtgowers @RichardElwes I think Richard was saying if you loosen the definition of one class, why not loosen definitions of others, like the platonic solids?