

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

initial viewpoint *flex* 0B by:

$$\frac{f l e x_{B}^{0}\to f l e x_{B}^{1}\quad\lnot(s t u b_{B}\leftrightarrow f l e x_{B}^{0})}{f l e x_{B}^{1}}\ (W)$$

and he checks the provisional negotiation situation by:
A : flex 0A ¬(stubB ∧ τB,A(*flex* 0A))
B : absDis(A : flex 0A) ∩ B : *flex* 1B(AD)
Bob says to Alice that they are in absolute disagreement and makes a proposal *flex* 1B.

The system continues the MN by:
∗(A, B) A : *flex* 0A B : absDis(A : flex 0A) B : *flex* 1B
Negotiate(A, B)(N)