formalizing a transaction Synonym