你越能将个人价值观与工作结合起来，你的生活就会越充实。
The more you can align your personal values with your work, the more fulfilling your life will be.
If we men married the women we deserved, we should have a very bad time of it.
过去从未死去，它甚至还未过去。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
I don't think about limitations. I just think about possibilities.