Ok. I saw those proofs in my PM.