The world may be mean, but people don’t have to be, not if they refuse.
教育开始培养绅士，但阅读、良好的同伴和反思必须完成他。
建筑应该是个好邻居。
The greatest glory in living lies not in never falling, but in rising every time we fall.
λ演算本质上是一个关于函数及其应用的理论。
“有时候，当你站在桥栏杆后面，低头看着河水慢慢流过，你会忽然明白了世界上所有的道理。”
The magi brought valuable gifts, but that was not among them. This dark assertion will be illuminated later on.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。