Burden of #proof is always tricky when a complex, poorly understood and documented piece of software need to be validated. This might encourage higher standards of #documentation and #verification to be maintained, as well as the necessary logs that enable assertions to be checked.