first part of proofs section added