cleaned up the proofs