More conLang proof