دڠين دمكين، ڽو اداله روموه باڬي تيورما هان لڠكڤ ڬوديل ييڠ ﴿سچارا اينفورمال﴾ مڽيرتكن بهوا تيڤ سيستم فورمل ايفيقتيف ييڠ ماواسو اريتماتيك داسا، ماوس سو ﴿ارتي جيه مندوم تيورما ييڠ جاوت دبوقتيكن بيوتوءي﴾، تنت هان لياوڠكڤ ﴿ارتي جيه نا تيورما ييڠ بيوتوءي ييڠ هان جاوت دبوقتيكن دالم سيستم ڽن﴾.