8.
x
L.P(x) 
P(u) xv.P(x)
x(L @ (u.v)).P(x)
Prop
L:T List. xL.P(x) xv.P(x) 
x(L @ v).P(x)
L:T List. xL.P(x) P(u) xv.P(x) x(L @ (u.v)).P(x)
| 1 | 7. L: T List 8. xL.P(x) P(u) xv.P(x) x(L @ (u.v)).P(x) |
About:
 |  |  |  |  |  |  |  |