Started revising proofs