New material and proofs