improved proofs