广东话谚语
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
一个（男）人不是为失败而生的。一个人可以被毁灭，但不能被打败。（
每一个结束都是新的篇章。
The lesson of quantum mechanics is that we must revise our classical notions of reality.