@core9 pm me with proofs