你不必成为最好的，你只需要尽力而为。

The world is a book, and those who do not travel read only one page.

I think all writing is a campaign against cliche. Not just cliches of the pen but cliches of the mind and cliches of the heart.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

社会主义的目标是共产主义。