Proof of cobcept for state defines.