The most dangerous myth in fishing is that there will always be more fish.
渔业中最危险的神话是总会有更多的鱼。
我要在宇宙中留下痕迹。
我写作是为了让看不见的东西变得可见。
形式系统的发展彻底改变了我们对数学的理解。