"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
A vida é uma coisa muito rara.
Out of my own great woe I make my little songs.
"The pursuit of knowledge is not just a journey of the mind, but also of the heart."
【讲解】：古代读书人学习的目的，在于修养自己的学问道德（然后去为国家、人民服务），现在读书人学习的目的，在于给别人看（希望得到别人的赞美和任用）。
我们都是破碎的，这就是光进来的地方。