diff --git a/src/arabic/NumeralAra.gf b/src/arabic/NumeralAra.gf
index 1fe70634..2de4439c 100644
--- a/src/arabic/NumeralAra.gf
+++ b/src/arabic/NumeralAra.gf
@@ -9,15 +9,10 @@ lincat
            n : Size } ;
   Sub10 = {s : DForm => CardOrd => Gender => State => Case => Str ;
            n : Size } ;
-  Sub100 = {s : CardOrd => Gender => State => Case => Str ;
-            n : Size} ;
-  Sub1000 = {s : CardOrd => Gender => State => Case => Str ;
-             n : Size } ;
-  Sub1000000 = {s : CardOrd => Gender => State => Case => Str ;
+  Sub100, Sub1000, Sub1000000, Sub1000000000, Sub1000000000000
+             = {s : CardOrd => Gender => State => Case => Str ;
                 n : Size} ;
 
-
-
   lin num x = x ;
 
   lin n2 = num2 ** {n = Two };
@@ -109,6 +104,9 @@ lincat
 --lin pot3plus n m = {
 --  s = \\c => n.s ! NCard ++ "تهُْسَند" ++ m.s ! c ; n = Pl} ;
 
+lin pot3as4 n = n ;
+lin pot4as5 n = n ;
+
 -- numerals as sequences of digits
 
   lincat