diff --git a/src/lib/EAFormula.ml b/src/lib/EAFormula.ml
index 5db6675346876887076484575c071ae58c1cb05a..fb1188c342282ab43357cc061fc1bd6650f72b2b 100644
--- a/src/lib/EAFormula.ml
+++ b/src/lib/EAFormula.ml
@@ -68,10 +68,10 @@ let rec exportFormula_buffer sb f =
       Buffer.add_string sb "0";
       prio 4 f1
   | E f1 ->
-      Buffer.add_string sb "E";
+      Buffer.add_string sb "E ";
       prio 4 f1
   | A f1 ->
-      Buffer.add_string sb "A";
+      Buffer.add_string sb "A ";
       prio 4 f1
 
 let exportFormula f =
@@ -79,6 +79,10 @@ let exportFormula f =
   exportFormula_buffer sb f;
   Buffer.contents sb
 
-let nom2EA f = FALSE
+let rec nom2EA f = match f with
+  | CoAlgFormula.FALSE -> FALSE
+  | CoAlgFormula.AP a -> AP a
+  | CoAlgFormula.AND (a, b) -> E (AND (nom2EA a, nom2EA b))
+  | _ -> TRUE
         
 (* vim: set et sw=2 sts=2 ts=8 : *)