国家间的合作是解决公海过度捕捞问题的关键。

绘画的行为是一种祈祷的行为。

在数学中，发现的旅程往往比目的地本身更有价值。

Only those who will risk going too far can possibly find out how far one can go.

小说不是作者的自白；它是对人类生活在世界陷阱中的调查。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。