@jashi PM me some good proofs