4-polytope Synonyms