Disable usage of PROOF in tutorial