--- a/Spiral.scala	Wed Apr 10 16:34:34 2019 +0100
+++ b/Spiral.scala	Wed Apr 10 17:06:24 2019 +0100
@@ -468,12 +468,13 @@
     val rg = ASTAR(List(),AALTS(List(),List(ASTAR(List(Z),ACHAR(List(),'a')), ASEQ(List(S),ACHAR(List(),'a'),ACHAR(List(),'b')))))//internalise(balanced_struct_gen(3))//SEQ(ALTS(List(STAR("a"),ALTS(List("a","c")))),SEQ(ALTS(List("c","a")),ALTS(List("c","b")))) 
     val st = "abaab"
     val vl = blexing_simp(erase(rg), st)
+    //println(vl)
     val bts = retrieve(rg, vl)
     val cdbts = code(vl)
-    if(bts != cdbts){//test of equality code v = retrieve internalise(r) v if |- v : r
+    if(bts == cdbts){//test of equality code v = retrieve internalise(r) v if |- v : r
       println(bts)
       println(cdbts)
-      println("NOoooooo.....!")
+      println("code v = retrieve internalise(r) v if |- v : r")
     }
   }
   def radical_correctness(){