※ 引述《MathTurtle (恩典)》之铭言：
（稍微改了符号，b=布玛，Lyx=y喜欢x，Byx=y认为x）
看了很久还是不懂：
1. Lx “布玛喜欢x” 和 2. λy(Ly)x “x具有"被布玛喜欢"的性质”
有什么关键的差别耶.....
而且比照 http://www.sfu.ca/~jeffpell/Ling406/LambdaAbstract4.pdf 的说法：
λx[smoke(x)](j)= "J has the property of being x s.t. x smokes" = smoke(j)
除了j和x变量冲突的情况以外，似乎 1. 和 2. 是可以代换的@@
我也看不懂 IV 和 IV* 以及 III 和 III* 有什么关键差别：
IV.
(x)(Fx