DYNAMIC PROOF