对心灵的研究必须严格经验化。
The study of the mind must be strictly empirical.
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The real competition is not between companies, but with yourself.
在计算生物学中，我们不仅仅是在解决问题；我们是在揭示生命的基本原理。