失败不可怕,可怕的是失去从失败中学习的能力。
Failure is not scary; what's scary is losing the ability to learn from it.
我写作是为了给无声者以声音。
农业的成功来自于对土地和耕种者的理解。
改变世界的唯一方法就是改变我们的思维方式。
The challenge in model checking is not just to find errors, but to understand why they occur.