patLangProofs build with 4 cheats