--- a/scala/ex.scala	Tue Feb 26 12:47:03 2013 +0000
+++ b/scala/ex.scala	Tue Feb 26 13:24:40 2013 +0000
@@ -112,8 +112,8 @@
 println("Disj 0 6:  " + Disj.eval(List(0, 6)))
 println("Disj 6 4:  " + Disj.eval(List(6, 4)))
 println("Disj 0 0:  " + Disj.eval(List(0, 0)))
-//println("Sigma:     " + Sigma(S).eval(List(0,1,2)))
-//println("Sigma:     " + Sigma(S).eval(List(0,1,2,3,4,5)))
+println("Sigma:     " + Sigma(Add).eval(List(2,3)))
+
 
 
 val ABCZero = Abacus(List(Goto(1)))