人は、自分が愛されるために、他人を愛する。
人们为了被爱,会去爱别人。
如果你想赢得诺贝尔奖,就不应该想着赢得诺贝尔奖。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
However difficult life may seem, there is always something you can do and succeed at.
I'm not a hero; I'm a survivor.
梦想不会自己实现,除非你行动。