>The alternative would be to say that only a system that has been proven correct could be used as evidence which would force pretty much all accounting back to

>The alternative would be to say that only a system that has been proven correct could be used as evidence which would force pretty much all accounting back to paper. No. It'd actually just force authorship and disclosure of test cases.