除非在动笔前脑中已有画面，否则称不上艺术家。

The best traders are those who can adapt to new information quickly.

A leader's job is not to do the work for others, but to help others figure out how to do it themselves.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

Art is the only way I can truly express myself.

科学家们似乎仍未充分理解，所有地球科学都必须为揭示地球早期状态提供证据，而只有综合所有这些证据才能触及真相。