形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
I'm not afraid of the dark; I'm afraid of what's in it.
"光线不在于你有多少光，而在于你如何使用它。"
History is not the past. It is the present. We carry our history with us. We are our history.
人类不是存在物的主人，而是存在的牧羊人。
可持续发展已不再是选择，而是任何希望在未来蓬勃发展的企业的必需品。
He allowed himself to be swayed by his conviction that human beings are not born once and for all on the day their mothers give birth to them, but that life obliges them over and over again to give birth to themselves.