History doesn’t repeat itself, but it often rhymes.
λ演算本质上是一个关于函数及其应用的理论。
Make women rational creatures, and free citizens, and they will quickly become good wives and mothers.