我坚持自己的信仰，很多时候这与主流背道而驰。
I stand up for what I believe in, and a lot of the time that’s against the grain.
The writer’s mission is to uncover the hidden.
我对自由意志和先验宿命的理解:它们是一样的。
λ演算是一种表示函数及其应用的形式体系。