diff --git a/racket/syndicate/examples/two-buyer-protocol-incremental.rkt b/racket/syndicate/examples/two-buyer-protocol-incremental.rkt
index 20f0c9d..e784019 100644
--- a/racket/syndicate/examples/two-buyer-protocol-incremental.rkt
+++ b/racket/syndicate/examples/two-buyer-protocol-incremental.rkt
@@ -152,8 +152,8 @@
                                  (list (patch-seq (unsub (split-proposal title price ? ?))
                                                   (sub (split-proposal title price my-contribution ?)))))]))])]
             [_ #f]))
-        (/ price 2)
-        (list (sub (split-proposal title price (/ price 2) ?))))]))
+        initial-offer
+        (list (sub (split-proposal title price initial-offer ?))))]))
   (try-to-buy titles budget))
 
 (define (buyer-b funds)
diff --git a/racket/syndicate/examples/two-buyer-protocol-monolithic.rkt b/racket/syndicate/examples/two-buyer-protocol-monolithic.rkt
index b9ee4c2..61d2ce4 100644
--- a/racket/syndicate/examples/two-buyer-protocol-monolithic.rkt
+++ b/racket/syndicate/examples/two-buyer-protocol-monolithic.rkt
@@ -154,8 +154,8 @@
                      (transition my-contribution
                                  (list (scn (assertion (observe (split-proposal title price my-contribution ?))))))]))])]
             [_ #f]))
-        (/ price 2)
-        (list (scn (assertion (observe (split-proposal title price (/ price 2) ?))))))]))
+        initial-offer
+        (list (scn (assertion (observe (split-proposal title price initial-offer ?))))))]))
   (try-to-buy titles budget))
 
 (define (buyer-b funds)