最伟大的旅程是那些带我们回到自己的旅程。
父母健在共享天伦之乐,全家上下和睦融洽。
每个出口都是另一个地方的入口。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
The essence of mathematics lies in its freedom.