@David_James pm me the proofs