Well obviously you can't prove the outcome of making a change in a complex physical system with many biological components. We can barely model a protein.