Welcome to the new Proof.