模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
Banks should focus on long-term value rather than short-term gains.
The only obsession everyone wants: 'love.'
Every minute on stage is the accumulation of ten years of practice off stage.
过去的艺术被神秘化，因为一个特权少数派正在努力发明一种历史，这种历史可以回溯性地证明统治阶级的角色。