The only way to do great work is to love what you do.
成就伟大事业的唯一途径是热爱你所做的事。
我们必须敢于梦想并努力工作，将这些梦想变为现实。
我不是那种会让对球的热爱减少的人。
"The truth is a game, and the game is a lie."
Do just once what others say you can't do, and you will never pay attention to their limitations again.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
Love is the only sane and satisfactory answer to the problem of human existence.
Simplicity is the ultimate sophistication.