ordering proof Synonym