Transparency of progressive proof.