> you can't reason about it unless you can prove to yourself it does or doesn't do certain things. if you didn't reason about its creation you cannot trust that it really works as advertised. but this is almost never done in practice and that's why most programs are perpetually buggy and why software development is something like an evolutionary process.
Moldova