The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The most important thing is to actually care about what you’re doing.
Logical consequences are the scarecrows of fools and the beacons of wise men.
理论物理学不仅仅是解决问题，更是要找到正确的问题去解决。
To every action there is always opposed an equal reaction； or， the mutual actions of two bodies upon each other are always equal， and directed to contrary parts.
Every ton of ore we extract carries with it a responsibility to the future.
I want to be remembered as someone who was able to help others and be a voice for people who couldn’t be heard.
人民有权知道真相，正如他们有权享有生命、自由和追求幸福。
In catalysis, sometimes the smallest modification can lead to the biggest breakthroughs.