grouping proof Synonym