[chopin]

Proven against what? The intentions of coder? In that case the intentions need to be codified. With that, we are back to square one I think.