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

The stock market is the story of cycles and of the human behavior that is responsible for overreactions in both directions.

我们以为在使用信息，其实被信息所使用。