formalize a truce Synonym