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

Every day confirms his belief of the inconsistency of all human characters, and of the little dependence that can be placed on the appearance of merit or sense.

I was a truck driver in LA, going to City College, and I tried to sign up for a class in ceramics, but it was full. So I signed up for architecture. It was an accident.

我明白了脆弱也没关系。