updated proofs