1.  A  p q B  C D  r F G E t I J H s u K    P

2.  A  p q B  C D  r F G E t I J H s u K    P P3P3 P2P2 P=B(A,P 1 ) P 1 =B(P 2,B(D,P 3 )) P1P1

3.  A  p q B  C D  r F G E t I J H s u K    P P3P3 P2P2

4.   p q B  C P’2P’2 P 2 =B(B,P ’ 2 ) B P2P2  p q B  C P’2P’2 P ’ 2 =WD(q;B(C,ITE(p;B,_)))

5.  A  p q B  C D  r F G E t I J H s u K    P P3P3 P2P2

6.   r F G E t I J H s u K    P3P3  r F G E t I J H s u K  ””  ’’

7.  P3P3  r F G E t I J H s u K  ””  ’’  r F G E t I J H s u K   P 31 P 31 =B(G,ITE(t;J,I))

8.  P3P3  r F P 31 E Ki:=  H s u K  P 32 =ITE(r;B(P 31,Ki:=  ),B(F,P 321 )) Ki:=  Ki:=  Ki?   P 32 P 321

9.  E H s u K ’’ P 321 =ITE(s;B(H,Ki:=  ),ITE(u;B(K,Ki:=  ),B(E,Ki:=  ))) Ki:=  Ki:=  ”” P 321 ”” Ki:=  ’’  ’” E H s u K  Ki:=  Ki:=  Ki:=  

10.  P3P3  r F P 31 Ki:=  P 321 Ki?  P 32  r F P 31 E Ki:=  H s u K  Ki:=  Ki?   P 32 P 321 P 32 =ITE(r;B(P 31,Ki:=  ),B(F,P 321 ))

11.  P3P3  r F P 31 Ki:=  P 321 Ki?  P 32 Ki?  P 32 P 3 =B(P 32,WD(KI?;P 32 )) P 32 =ITE(r;B(P 31,Ki:=  ),B(F,P 321 ))

12.  P=B(A,P 1 ) P 1 =B(P 2,B(D,P 3 )) P 2 =B(B,P ’ 2 ) P ’ 2 =WD(q;B(C,ITE(p;B,_))) P 3 =B(P 32,WD(KI?;P 32 )) P 32 =ITE(r;B(P 31,Ki:=  ),B(F,P 321 )) P 321 =ITE(s;B(H,Ki:=  ),ITE(u;B(K,Ki:=  ),B(E,Ki:=  ))) P 31 =B(G,ITE(t;J,I))