a1,a2:
2. if a1=
0
true else false fi = if a2=0 true else false fi 
a1 = a2 a1,a2:2.
(
n.if n=0 true else false fi)(a1) = (n.if n=0 true else false fi)(a2) 
a1 = a2| 1 | a1,a2:2. if a1=0 true else false fi = if a2=0 true else false fi a1 = a2 |
About:
 |  |  |  |  |
 |  |  |  |  |