--- a/Spiral.scala	Mon Jan 20 15:51:06 2020 +0000
+++ b/Spiral.scala	Wed Jan 22 22:50:38 2020 +0000
@@ -857,8 +857,8 @@
     //find_re()
     //tellmewhy()
     //correctness_proof_convenient_path()
-    //tellmewhy()
-    have_fun()
+    tellmewhy()
+    //have_fun()
     //string_der_test()
     //comp(rd_string_gen(3,6).toList, random_struct_gen(7))
     //newxp1()