diff --git a/prospect/examples/actor/bank-account.rkt b/prospect/examples/actor/bank-account.rkt
index 1a27c1e..54dc45c 100644
--- a/prospect/examples/actor/bank-account.rkt
+++ b/prospect/examples/actor/bank-account.rkt
@@ -4,19 +4,19 @@
 (require prospect/actor)
 
 (struct account (balance) #:prefab)
-(struct alter-balance-by (amount) #:prefab)
+(struct deposit (amount) #:prefab)
 
 (actor-body->spawn-action
  (lambda ()
    (actor (forever #:collect [(balance 0)]
                    (assert (account balance))
-                   (on (message (alter-balance-by $amount))
+                   (on (message (deposit $amount))
                        (+ balance amount))))
 
    (actor (forever (on (asserted (account $balance))
                        (printf "Balance changed to ~a\n" balance))))
 
-   (until (asserted (observe (alter-balance-by _))))
-   (send! (alter-balance-by +100))
-   (send! (alter-balance-by -30))
+   (until (asserted (observe (deposit _))))
+   (send! (deposit +100))
+   (send! (deposit -30))
    ))
diff --git a/prospect/examples/bank-account.rkt b/prospect/examples/bank-account.rkt
index 5ef7de8..6ebab5f 100644
--- a/prospect/examples/bank-account.rkt
+++ b/prospect/examples/bank-account.rkt
@@ -2,34 +2,27 @@
 ;; Hello-worldish "bank account" example.
 
 (struct account (balance) #:prefab)
-(struct alter-balance-by (amount) #:prefab)
+(struct deposit (amount) #:prefab)
 
-(spawn (lambda (e balance)
-         (match e
-           [(message (alter-balance-by amount))
-            (define new-balance (+ balance amount))
-            (transition new-balance
-                        (patch-seq (retract (account balance))
-                                   (assert (account new-balance))))]
-           [_ #f]))
-       0
-       (patch-seq (assert (observe (alter-balance-by ?)))
-                  (assert (account 0))))
+(define (manager e balance)
+  (match e
+    [(message (deposit amount))
+     (transition (+ balance amount) (patch-seq (retract (account balance))
+                                               (assert (account (+ balance amount)))))]
+    [_ #f]))
 
-(spawn (lambda (e s)
-         (match e
-           [(patch added removed)
-            (for [(balance (project-assertions added (account (?!))))]
-              (printf "Balance changed to ~a\n" balance))
-            #f]
-           [_ #f]))
-       (void)
-       (assert (observe (account ?))))
+(define (observer e _)
+  (when (patch? e)
+    (for [(balance (project-assertions (patch-added e) (account (?!))))]
+      (printf "Balance changed to ~a\n" balance)))
+  #f)
 
-(spawn (lambda (e s)
-         (if (and (patch? e) (matcher-non-empty? (patch-added e)))
-             (quit (list (message (alter-balance-by +100))
-                         (message (alter-balance-by -30))))
-             #f))
-       (void)
-       (assert (observe (observe (alter-balance-by ?)))))
+(define (updater e _)
+  (if (and (patch? e) (matcher-non-empty? (patch-added e)))
+      (quit (list (message (deposit +100))
+                  (message (deposit -30))))
+      #f))
+
+(spawn manager 0 (patch-seq (assert (observe (deposit ?))) (assert (account 0))))
+(spawn observer (void) (assert (observe (account ?))))
+(spawn updater (void) (assert (observe (observe (deposit ?)))))