2 Various degrees of cheat ing for provers