※ 引述《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