我一直认为发明家有权享有他的劳动成果。

The challenge in model checking is not just to find errors, but to understand why they occur.

我不是诗人。我是一个空中飞人艺术家。

当灵魂不渺小时，一切都值得。

我不相信扮演反派或英雄。我相信扮演人。