Optimizing Proof for Replay