--- a/ROOT	Thu Oct 10 12:00:49 2013 +0800
+++ b/ROOT	Sat Oct 12 08:01:24 2013 +0800
@@ -29,4 +29,9 @@
     Sectxt_prop
     Delete_prop
     Tainted_prop
-    Co2sobj_prop
\ No newline at end of file
+    Co2sobj_prop
+
+session "s2ss" = "co2sobj" +
+  options [document = false]
+  theories
+    S2ss_prop
\ No newline at end of file