two more cheats removed
can_Print made stricter, compiler proofs updated