@0lab gime me some proofs in pm please