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