The only way to change the world is to change yourself.
She was my most special friend. My only friend.
The challenge in model checking is not just to find errors, but to understand why they occur.
I don't believe in pessimism. If something doesn't come up the way you want, forge ahead. If you think it's going to rain, it will.
【讲解】：发奋时候竟忘记吃饭，快乐时候就忘记了忧愁，把自己就要老了这件事也不放在心上，如此罢了。”