sorting proof Synonym