成功是最好的報復(fù)。
Success is the best revenge.
健康的心靈和健康的身體同等重要。
I think music is a language that everybody understands.
形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)正確性的絕對確定性。
Unexpressed emotions will never die. They are buried alive and will come forth later in uglier ways.
未被表達的情緒永遠不會消亡。它們被活埋，并將在未來以更丑陋的方式涌現(xiàn)。
The future belongs to those who can adapt to the changing energy landscape.