Added synonyms for equiv and cong