Add cheat so conLangProof builds