程序测试可以用来显示错误的存在,但绝不能显示它们的不存在!
You should avoid sloth and unreliability.
"We are all agreed that your theory is crazy. The question which divides us is whether it is crazy enough to have a chance of being correct."
Sometimes the simplest questions lead to the deepest theories.