diff -r bb1ff936e6cf -r a0bcf15a7844 Spiral.scala
--- a/Spiral.scala	Sun Aug 18 22:21:01 2019 +0100
+++ b/Spiral.scala	Thu Aug 22 09:38:18 2019 +0100
@@ -560,11 +560,12 @@
     //println(decode(erase(a_v._1), bs3))
   }
   def christian_def2(){
-    val a = AALTS(List(Z), List(AZERO, ASEQ(List(), AALTS(List(),List(AONE(List()), ACHAR(Nil, 'b'))), ACHAR(Nil, 'b'))  )   )
-    val unsimp = bsimp(bder('b',a))
-    val simped = bsimp(bder('b', bsimp(a))           )
+    val a = AALTS(List(S), List(AZERO, ASEQ(List(S), AALTS(List(S), List(AONE(List(S)), ACHAR(List(S), 'c'))), ACHAR(List(S),'c') )) )
+    //AALTS(List(Z), List(AZERO, ASEQ(List(), AALTS(List(),List(AONE(List()), ACHAR(Nil, 'b'))), ACHAR(Nil, 'b'))  )   )
+    val unsimp = bsimp(bder('c',a))
+    val simped = bsimp(bder('c', bsimp(a))           )
     println(bsimp(a))
-    if(unsimp == simped){
+    if(unsimp != simped){
       println(s"bsimp(bder c r) = ${unsimp}, whereas bsimp(bder c bsimp r) = ${simped}")
     }
   }
@@ -603,10 +604,10 @@
     //retrieve_experience()
     //neat_retrieve()
     //test_bsimp2()
-    //christian_def2()
+    christian_def2()
     //christian_def()
     //essence_posix()
-    speed_test()
+    //speed_test()
   } 
 }