我不害怕死亡，我害怕不去尝试。
I’m not afraid of dying, I’m afraid of not trying.
Success is not final, failure is not fatal: It is the courage to continue that counts.
We need to be obsessed with our customers' unmet, unarticulated needs.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.