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

Great wits are sure to madness near allied, and thin partitions do their bounds divide.

我死时唯一的遗憾就是如果不是为了爱而死。

A chair should first embrace the body, then inspire the mind.

战略规划不是预测未来，而是为未来做好准备。