Small Progressive Proof.