λ演算的基本概念是函数，被视为一种对应规则。
The realization that electronic properties can be topologically protected has revolutionized our understanding of solid-state physics.
The best literature is that which disturbs, which unsettles, which refuses to console.
人心难测，表面友善的人，内心未必真诚。
The universe is full of surprises, and we are just beginning to scratch the surface of understanding it.
The real way of living is to answer to one’s wants.