Also, this is inconsistent from things like bi-tetraicosidiminished, which refers not to the cutting off of any CRF pieces per se, but to the removal of a certain number of vertices.And then things like Wendy's bistratic CRF with 4 tridiminished icosahedra, 5 tetrahedra, and 1 octahedron: I do not even know how to name such a thing except using Wendy's notation, but I find a bit hard to swallow t