成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
The existence of law is one thing; its merit or demerit is another.
新闻自由是英国人所有的公民、政治和宗教权利的保障。
"In the end, we are all alone with our choices."
胜利关乎心灵，而不仅仅是双腿。它必须处于正确的位置。
最好的领导方式是服务。