成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
I'm a material girl living in a material world.
在不确定的时期，目标的清晰性变得更加关键。
一个良好的世界需要知识、善良和勇气；它不需要对过去的后悔，也不需要被无知之人长时间前说过的话所束缚的自由智慧。
Mathematics is the language of the universe, and through it, we can unlock the secrets of existence.
数学是宇宙的语言，通过它，我们可以解开存在的秘密。
如果你不能身高七尺，那就聪明七尺。
程序最重要的属性是它是否实现了用户的意图。