In a crisis, the priority is to stop the bleeding.
在危机中，首要任务是止血。
Never underestimate the power of perseverance.
The person who has lived the most is not the one with the most years but the one with the richest experiences.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Nothing can stop the man with the right mental attitude from achieving his goal; nothing on earth can help the man with the wrong mental attitude.
做你自己。没有人比你更好。