make sure nothing ever gets Qed automatically