一个人的工作不过是通过艺术的迂回，缓慢地重新发现两三个伟大而简单的形象，在这些形象面前，他的心第一次敞开。

The challenge in model checking is not just to find errors, but to understand why they occur.

Every breakthrough in aquaculture starts with a deep respect for nature.

最终，我们都是故事。

美联储对金融危机的回应实际上是经典的最后贷款人操作，根据危机的规模进行了调整。

质量从来不是偶然的，它始终是智慧努力的结果。