"The past is always with us, for it feeds the present."
基因组是时间的马赛克。
We are all searching for something, even if we don't know what it is.
数学真理是普遍而永恒的。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。