程序测试可以用来显示错误的存在,但永远不能显示它们的缺失!
生命可以被目标拉动,正如它被驱动力推动一样。