understanding proof Synonym