Synonyms for genus_Richmondena