当人微笑时,世界爱了他。当他大笑时,世界便怕他了。
I’m not a guy that’s going to let my love for the game of basketball down.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
I don’t do things for the fame, I do them because I love them.