登上梯子顶端的唯一方法就是一步一步往上爬。
The only way to get to the top of the ladder is to climb it step by step.
每一个生命都是一个故事，每一个故事都是一个生命。
"Every saint has a past, and every sinner has a future."
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Language is the only homeland.
我们把世界看错了，反说它欺骗我们。