noting proof Synonym