Disable PROOF for these tutorials