模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
The challenge in model checking is not just to find errors, but to understand why they occur.
The database is the most important piece of software in the enterprise, and the most important piece of software in the enterprise is the database. The database is the foundation of all applications.
Will you bluff it out when you're wrong， or will you apologize？
要真正伟大，必须与人民站在一起，而不是凌驾于他们之上。