逃离平庸的唯一方法就是细致地观察它。

The strength of the pack is the wolf, and the strength of the wolf is the pack.

我们都是自以为是的伪君子。

Language is a skin: I rub my language against the other. It is as if I had words instead of fingers, or fingers at the tip of my words.

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