不要被你不知道或没做的事情定义。
Don't be defined by what you didn't know or didn't do.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
一个人不论年龄多大，都要学习自己不懂的东西。这不是羞耻。
The more specific you are, the more universal you become.
艺术不在于界限，而在于自由。
I had ambition not only to go farther than any man had been before, but as far as it was possible for a man to go.