diff -r 569280c1f56c -r 24d9d64c2a95 Spiral.scala
--- a/Spiral.scala	Sat Jul 13 22:56:31 2019 +0100
+++ b/Spiral.scala	Tue Jul 16 22:18:18 2019 +0100
@@ -562,7 +562,7 @@
   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 simped = bsimp(bder('b', bsimp(a))           )
     println(bsimp(a))
     if(unsimp == simped){
       println(s"bsimp(bder c r) = ${unsimp}, whereas bsimp(bder c bsimp r) = ${simped}")