艺术中没有规则，只有后果。
There are no rules in art, only consequences.
The challenge in model checking is not just to find errors, but to understand why they occur.
Nature， to be commanded， must be obeyed.
战略的本质是你必须对你想要完成的事情设定限制。