tetralogy Synonyms