Reason is the cold sun, it gives light but no warmth.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
The major credit I think Jim and I deserve... is for selecting the right problem and sticking to it.
我认为我和吉姆值得称赞的主要原因是...选择了正确的问题并坚持研究它。