True 
(
x:T. False & x(
eq) nil)8. v: T List
9.
True (x:T. False & x(eq) v) True (x:T. False & x(eq) (u.v))
}
T
T
x,y:T. eq(x,y) 
x = y
True (x:T. False & x(eq) M)
| 1 | True (x:T. False & x(eq) nil) |
| 2 | 7. u: T 8. v: T List 9. True (x:T. False & x(eq) v) True (x:T. False & x(eq) (u.v)) |
About:
 |  |  |  |  |  |  |  |  |
 |  |  |  |  |  |
 |