Finally continued work on the proofs.