成功验证的关键是从系统应该做什么的清晰和精确的规范开始。
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
商业的成功源于理解人，而不仅仅是产品。
我们都在阴沟里，但仍有人仰望星空。
The best way to find yourself is to lose yourself in the service of others.
The worst evils in history have always been committed by those who truly believed they were combating evil. Beware of combating evil.
The roads are full of crowds going somewhere, but nobody knows where they are going.
