modLang and conLang proofs fixed.