形式化方法不是银弹，但它们是追求可靠系统的重要工具。
Growth should never come at the expense of quality or ethics.
I always try to stay true to myself and to play the game the right way.
A novel should be a book of questions, not a book of answers.
投资中最重要的事情是在正确的时间处于正确的市场。