团队的力量在于每个成员。每个成员的力量在于团队。
The more you give, the more comes back to you.
你无法改变过去,但可以改变过去的意义。
科学是一项集体事业,每一代人都为之添砖加瓦。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
You'll never be able to please everybody, so you might as well be yourself.
Life is 10% what happens to you and 90% how you react to it.