Continue work on many proofs.