formalizing an armistice Synonym