@Ecy pm me proofs