Art is a way of making sense of the world.

走出去不是目的，走进去才是我们的目标。

The world is so unpredictable. Things happen suddenly, unexpectedly. We want to feel we are in control of our own existence.

真正满足的唯一方法就是做你认为伟大的工作。

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

每一个结束都是新的开始。