最伟大的定理往往始于简单的猜想，源于直觉。
The greatest theorems often start as simple conjectures, born out of intuition.
"The most important thing in filmmaking is to be honest with yourself."
行为法则与物理学法则一样精确。
The challenge in model checking is not just to find errors, but to understand why they occur.