@moloko98 give me some proofs in pm