classifying proof Synonym