Add pauses in proofs.