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

我们都带着某种与生俱来的罪恶感出生。

忧伤可以通过良好的睡眠、沐浴和一杯葡萄酒来缓解。

Forget about having an identity crisis and get some identity capital.

幸福的关键是有梦想。成功的关键是实现你的梦想。