new proofs added