Alice tests the negotiation relation by:
B : essDis(A : flex 0A) ∩ B : *flex* 1B
(flex 1A ∨ τA,B(flex 1B)) ∧ ¬(flex 1A → τA,B(flex 1B)) ∧ ¬(flex 1A ← τA,B(*flex* 1B))
A : comp(B : flex 1B) ∩ A : flex 1A(*ED-Co*)
Alice says to Bob that they are in compatibility and makes a proposal *flex* 1A.

The system continues the MN by:

) $B:\underset{\begin{array}{c}\text{}Re\text{}otic\\ \text{}\end{array}}{\mathop{\text{}}}\,A:\textbf{c}$
∗(B, A) B : *flex* 1B A : comp(B : flex 1B) A : *flex* 1A
Negotiate(*B, A*)(N)
Bob receives *flex* 1A and he makes a weakening or a changing action because Alice said they are not in agreement nor in relative disagreement. Suppose Bob changes his CAF by:

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

Bob tests the negotiation relation and makes a violation by:

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

The system continues the MN by:

$\underline{latex_A^1)\;\;\;\;B:}\;\!:\underline{latex_B^2}\;\;\;(N)$
∗(A, B) A : *flex* 1A B : essDis(A : flex 1A) B : *flex* 2B
Negotiate(*A, B*)(N)
Alice receives *flex* 2B 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{matrix}\underbrace{flex_{A}^{1}}&\neg(\operatorname{stub}_{A}\leftrightarrow\operatorname{flex}_{A}^{1})&\neg(\operatorname{flex}_{A}^{1}\to\operatorname{flex}_{A}^{2})&\neg(\operatorname{flex}_{A}^{2}\to\operatorname{flex}_{A}^{1})\\ &\underbrace{flex_{A}^{2}}\end{matrix}\,\left(C\right)$  ... 
Alice tests the negotiation relation by:
B : essDis(A : flex 1A) ∩ B : *flex* 2B
(flex 2A ∨ τA,B(flex 2B)) ∧ ¬(flex 2A → τA,B(flex 2B)) ∧ ¬(flex 2A ← τA,B(*flex* 2B))
A : comp(B : flex 2B) ∩ A : *flex* 2A(ED-Co)
Alice says to Bob that they are in compatibility and makes a proposal *flex* 2A.

 $\frac{\partial\cdot f\left(\text{i}e x_{B}\right)}{\partial t}$ $A\cdot f\text{i}e x_{A}$ (i)  ... 
∗(B, A) B : *flex* 2B A : comp(B : flex 2B) A : *flex* 2A
Negotiate(*B, A*)(N)
36