当今能源领域的领导力既需要技术专长，也需要道德勇气。
The great object of all regulations is to secure the utmost quantity of useful produce.
目标不是完美，而是进步。
The challenge in model checking is not just to find errors, but to understand why they occur.
The good life is a process, not a state of being. It is a direction, not a destination.
We don’t start with models. We start with data. We don’t have any preconceived notions. We look for things that can be replicated thousands of times. A trouble with convergence trading is that you don’t have a time scale. You say that eventually things will come together.Well， when is eventually？
——兴中会
