Update Proof

added a little to the basic skeleton of the code, still needs lots of revision of course