成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
真相并不总是美丽的，美丽的话语也不一定是真相。
You can't please everyone, so just be yourself.
He had a way of making her feel safe, even in the most uncertain of times.
最伟大的建筑来自于倾听 - 倾听土地，倾听人民，倾听社区的需求。
科学不是男孩的游戏，也不是女孩的游戏。它是每个人的游戏。它关乎我们现在在哪里以及我们将去向何方。
最好的故事是那些留给我们的问题多于答案的故事。