true
else x(
eq) (v @ M) fi
if eq(x,u) true else x(eq) v fi 
x(eq) M
}
eq) (v @ M) 
x(eq) v x(eq) M
if eq(x,u) true else x(eq) (v @ M) fi if eq(x,u) true else x(eq) v fi x(eq) M
| 1 | 9. if eq(x,u) true else x(eq) (v @ M) fi if eq(x,u) true else x(eq) v fi x(eq) M |
About:
 |  |  |  |  |  |  |  |