我的作品是我对世界的回应。
Life is far too important a thing ever to talk seriously about.
A company’s true value is measured by its impact on patients’ lives.
我不会改变我是谁或我所代表的东西。
The challenge in model checking is not just to find errors, but to understand why they occur.