Revision history of "equality of natural numbers" (Z13522)
Khai vwuon: Cak mboti̱n ridiyo á̱si̱ nwuan-a̱ka̱feang na a mak a̱wot a bwuok lyui enter ku boti̱n ji̱ shyia̱ a̱tatak ka a̱ni.
Tashikum: (mdyh) = kyang ku vwuon ma̱ng nwuan-a̱ka̱feang mmam nani a̱ni, (a̱ma̱lyim) = kyang ku vwuon ma̱ng nwuan-a̱ka̱feang a̱ma̱lyim hu, m = a̱da̱dei jhyuk.