Innovation in coal mining isn't about reinventing the wheel, but about making the wheel more efficient and environmentally friendly.

我不是建设者，我是破坏者。

最好的建筑是与环境相协调的。

I think if you do something and it turns out pretty good， then you should go do something else wonderful， not dwell on it for too long.Just figure out what’s next.

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

我情愿在火星上死去，而不是坠毁其上。