$C check proof and follow