diff --git a/observe-some-minimart.rkt b/observe-some-minimart.rkt
index ebf5c14..f5cfc7f 100644
--- a/observe-some-minimart.rkt
+++ b/observe-some-minimart.rkt
@@ -37,7 +37,7 @@
                 (transition (+ count 1) '())]
 	       [_ #f]))
 	   0
-           (gestalt-union (pub (server id))
+           (gestalt-union ;; (pub (server id))
                           (sub (client) #:level 1))))
 
   (define client-action (spawn-client))
@@ -78,7 +78,7 @@
          #;(list 5)
          (list* 2 5
                 (let loop ((n 10))
-                  (if (>= n 2000)
+                  (if (>= n 4000)
                       '()
                       (cons (inexact->exact (round n))
                             (loop (* n (sqrt (sqrt 2))))))))
diff --git a/observe-some-prospect.rkt b/observe-some-prospect.rkt
index b6e897f..c17da03 100644
--- a/observe-some-prospect.rkt
+++ b/observe-some-prospect.rkt
@@ -34,7 +34,7 @@
                 (transition (+ count 1) '())]
 	       [_ #f]))
 	   0
-           (assert (server id))
+           ;; (assert (server id))
            (assert (observe (client)))))
 
   (define client-action (spawn-client))
@@ -75,7 +75,7 @@
          #;(list 5)
          (list* 2 5
                 (let loop ((n 10))
-                  (if (>= n 2000)
+                  (if (>= n 4000)
                       '()
                       (cons (inexact->exact (round n))
                             (loop (* n (sqrt (sqrt 2))))))))