"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

消灭一个民族的第一步是抹去它的记忆。摧毁它的书籍，它的文化，它的历史。然后让某人写新书，制造新文化，发明新历史。不久之后，这个民族就会开始忘记它是什么以及它曾经是什么。

If you're lonely when you're alone，you're in bad pany。

Collaboration across borders and disciplines is the key to unlocking breakthroughs in our field.

The richness I achieve comes from nature, the source of my inspiration.

物理定律必须以独立于坐标系选择的方式表述。