precise proof Synonym