世界是一本伟大的书，那些从未离开家的人只读了一页。
The world is a great book, of which they that never stir from home read only a page.
Everybody counts or nobody counts.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
Leadership is about making tough decisions today that will benefit the company in the long run.