The challenge in model checking is not just to find errors, but to understand why they occur.
作家必须相信他所做的是世界上最重要的事情。即使他知道这不是真的,他也必须坚持这种幻觉。