Simplify progress proof.