Finished all the proofs, needs one more revision