Success is nice, but the real reward is in the doing.

The past is never dead. It's not even past.

The challenge in model checking is not just to find errors, but to understand why they occur.

"Innovation is the key to staying ahead in business."

一幅画像束缚住了我们。我们无法走出它，因为它存在于我们的语言中，语言似乎无情地一次次地重复给我们看。

你可以成为任何你想成为的人，只要把自己变成你认为永远不可能成为的样子。