"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

当富贵利达的人夸说他得到上帝的恩惠时，上帝却羞了。

夜里不睡的人，白天多多少少总有什么逃避掩饰的吧。白昼解不开的结，黑夜慢慢耗。

音乐是唯一让我觉得有意义的东西。

如果你花超过13分钟分析经济和市场预测，你就浪费了10分钟。