可持续捕捞不是一种选择，如果我们想保护海洋生态系统，这是唯一的前进道路。

I think that the function of art is to make life more interesting than art.

数学直觉常常指导算法的发展，但确保其正确性和效率的是严格的证明。

Freedom is not merely the opportunity to do as one pleases; neither is it merely the opportunity to choose between set alternatives. Freedom is, first of all, the chance to formulate the available choices, to argue over them—and then, the opportunity to choose.