@hotstuff give me some proofs in pm