Once in a while the phenomena we exploit are particularly present. We like a reasonable amount of volatility. In our business we want some action. “Tumult is usually good for us. We don’t have credit lines of any significance. We don’t do a lot of leveraged-type financing.

Truth is so hard to tell， it sometimes needs fiction to make it plausible.

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

每个人都是自己命运的建筑师。

I'm not a poet, I'm a trapeze artist.