First draft of proofs complete.