形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
我们都在阴沟里,但仍有人仰望星空。
在农业中,耐心带来最甜蜜的回报。
Life is a journey, not a destination.
I don't sing to be perfect, I sing to be real.
如果你出生贫穷,那不是你的错。但如果你死时仍然贫穷,那就是你的错。