What is the use of running when we are not on the right road?
当我们不在正确的道路上时，奔跑有什么用？
一个不以其历史为荣的国家永远无法创造历史。
Mathematics is the art of giving the same name to different things.
The universe is under no obligation to make sense to you.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
这世界上聪明的人，努力的人太多了，要得到你想要的东西，最可靠的办法，是让自己配得上它。