老虎间，还可以相互靠近，人即使很熟悉，还是不能真正亲近；在你面前议论别人是非的人，其实这种人就是一个搬弄是非的人。

一个恶徒的犯罪思想也比天堂里的奇迹更伟大，更崇高。

Agricultural modernization is not simply mechanization, but to let farmers truly master technology and farm with wisdom.

λ演算本质上是一种纯粹抽象的函数理论。