

![0_image_0.png](0_image_0.png)

 $\large\frac{1}{\sqrt{\ \tau_{B,A}(flex_{A}^{0})}}\ (ED)$  1. 
and he checks the provisional negotiation situation by:

$$\underline{{{A:f l e x_{A}^{0}}}}\;\;\;\;\neg(f l e x_{B}^{0}\wedge\neg)$$

A : flex 0A ¬(flex 0B ∧ τB,A(flex 0A)) ∧ (stubB ∨ τB,A(*flex* 0A)
B : essDis(A : flex 0A) ∩ B : *flex* 1B(ED)
Bob says to Alice that they are in essence disagreement and makes a proposal *flex* 1B.

The system continues the MN by:

$$\underline{{{f l e x_{A}^{0})\ \ \ B:f l e x_{B}^{1}}}}\ \ ($$
$\mathbf{v}$
∗(A, B) A : *flex* 0A B : essDis(A : flex 0A) B : *flex* 1B
Negotiate(*A, B*)(N)
Alice receives *flex* 1B and she makes a weakening or a changing action because Bob said they are not in agreement nor in relative disagreement. Suppose Alice changes her CAF by:

 $\begin{array}{cc}\neg(\neg stub_A\leftrightarrow flex_A^0)&\neg(\textit{flex}_A^0\to\textit{flex}_A^1)&\neg(\textit{flex}_A^1\to\textit{flex}_A^0)\\ \hline&\textit{flex}_A^1\end{array}$ $(C)\wedge$
$\underline{\underline{f l e x_{A}^{0}}}$ . 