"The refusal to rest content, the willingness to risk excess on behalf of one's obsessions, is what distinguishes artists from entertainers."

我一直说一切皆有可能。

真理是一个陷阱：你无法得到它而不被它得到；你无法通过捕捉真理来得到它，只有通过被它捕捉。

Cooperation is the key to fishery development. Going it alone leads nowhere.

Leadership means making tough decisions today to ensure a better tomorrow.

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