The joy of drawing is in the freedom to create worlds that don't exist.
The end of wisdom is to dream high enough to lose the dream in the seeking of it.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
The stock market is filled with individuals who know the price of everything, but the value of nothing.