Proof is in the progress