test: guile -s logic-1.scm guile -s arith-2.scm guile -s peano.scm guile -s klop.scm guile -s free-group.scm