The best way to find the truth is to see it for yourself.

It all depends on how we look at things, and not on how they are themselves.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

Music is a bridge of the soul, it can cross all obstacles.

我们数量增长到如此地步，以至于我们的存在像疾病一样明显削弱了地球。

教师必须既是学生的研究者，也是学科的研究者。

永远不要低估为更大目标迈出的小而持续的步骤的力量。