False 
(
x:{x:T| False }. x(
eq) M)6. v: T List
7. v
(eq)M (x:{x:T| x(eq) v }. x(eq) M) u(eq) M 
xv.x(eq) M (x:{x:T| if eq(x,u)
true
else x(eq) v fi }. x(eq) M)}
(eq)M
x:{x:T| x(eq) L }. x(eq) M
| 1 | False (x:{x:T| False }. x(eq) M) |
| 2 | 5. u: T 6. v: T List 7. v (eq)M (x:{x:T| x(eq) v }. x(eq) M) u(eq) M xv.x(eq) M (x:{x:T| if eq(x,u) true else x(eq) v fi }. x(eq) M) |
About:
 |  |  |  |  |
 |  |  |  |  |  |