模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。

Writing is a way of preserving memory.

I believe in the power of music to heal and inspire.

The border is not a line but a wound.

渔业技术必须首先服务于保护，其次才是利润。

There are two possible outcomes: if the result confirms the hypothesis, then you've made a measurement. If the result is contrary to the hypothesis, then you've made a discovery.

Writing for the theatre is always a kind of confrontation.

我们无法选择时代，但我们可以选择如何回应它。

我不想成为环境的产物，我想让环境成为我的产物。