And here I thought that the only sure thing in computer science was that all problems can be solved by another level of indirection: http://en.wikipedia.org/wiki/Fundamental_theorem_of_software...