Toward the definition level of conLangProof