stallProof updated