The best decisions are made when data and intuition align.
我不迷信，但我有点小迷信。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
数学发现的过程不是关于到达目的地，而是关于旅程本身。
预测未来的唯一方法就是创造未来。
"The best and most beautiful things in the world cannot be seen or even touched - they must be felt with the heart."
When you can't go back, you have to worry only about the best way of moving forward.