True success is not about fame or money, but about the impact you have on others.

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

不把别人所不懂的告诉别人，把别人知道的东西告诉别人。 

以往花费许多力量也不能推动它，今天在水中间却能自在地移动。