explaining proof Synonym