真相并不总是最容易相信的事情。
The truth is not always the easiest thing to believe.
生活中最重要的事情不是胜利，而是奋斗。
People always say that you can't please everybody. I think that's a cop-out. I think if you work hard enough, you can please anybody.
The challenge in model checking is not just to find errors, but to understand why they occur.
The best time to plant a tree was 20 years ago; the second best time is now.
我不是榜样，我是榜样的榜样。