Mathematics is the art of giving the same name to different things.
在黑暗中,我们找到了自己人性的光芒。
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。