work out an armistice Synonym