I tend to think that the longer you look at a thing, the more abstract it becomes, and, ironically, the more real.
The act of writing is an act of optimism. You would not take the trouble to do it if you felt it didn't matter.
程序测试可以用来显示错误的存在,但永远不能显示它们的缺失!