enforceable proof Synonym