Great leaders don't create followers; they create more leaders.

"The universe has moved for us."

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

You can't wake a person who is pretending to be asleep.

我不是一个完美的人，但我是一个真实的人。