Start on verifying exhLang.