Johnson polyhedron Synonyms