I'm thinking some hard core proofs are about to be dropped

and deepstate knows and is trying to prevent~