diff --git a/marketplace/examples/chat-paper.rkt b/marketplace/examples/chat-paper.rkt
index b37bb89..8bc50f2 100644
--- a/marketplace/examples/chat-paper.rkt
+++ b/marketplace/examples/chat-paper.rkt
@@ -1,7 +1,7 @@
 #lang marketplace
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-(nested-vm
+(spawn-vm
  (at-meta-level
   (observe-publishers (tcp-channel ? (tcp-listener 5999) ?)
     (match-conversation (tcp-channel them us _)
diff --git a/marketplace/examples/debug-chat.rkt b/marketplace/examples/debug-chat.rkt
index 65fb052..4780660 100644
--- a/marketplace/examples/debug-chat.rkt
+++ b/marketplace/examples/debug-chat.rkt
@@ -3,7 +3,7 @@
 (require "../support/debug.rkt")
 
 (debug
- (nested-vm
+ (spawn-vm
   (at-meta-level
    (observe-publishers (tcp-channel ? (tcp-listener 5999) ?)
      (match-conversation (tcp-channel them us _)
diff --git a/marketplace/sugar-typed.rkt b/marketplace/sugar-typed.rkt
index 694a04d..708fa21 100644
--- a/marketplace/sugar-typed.rkt
+++ b/marketplace/sugar-typed.rkt
@@ -28,7 +28,7 @@
 	 name-process
 	 yield:
 	 at-meta-level:
-	 nested-vm:
+	 spawn-vm:
 	 ground-vm:)
 
 ;; A fresh unification variable, as identifier-syntax.
@@ -88,7 +88,7 @@
       [(_ State preaction ...)
        #'(list ((inst core:at-meta-level State) preaction) ...)])))
 
-(define-syntax nested-vm:
+(define-syntax spawn-vm:
   (lambda (stx)
     (syntax-parse stx
       [(_ (~literal :) ParentState
diff --git a/marketplace/sugar-untyped.rkt b/marketplace/sugar-untyped.rkt
index a0bd36e..269d80e 100644
--- a/marketplace/sugar-untyped.rkt
+++ b/marketplace/sugar-untyped.rkt
@@ -26,7 +26,7 @@
 	 name-process
 	 yield
 	 at-meta-level
-	 nested-vm
+	 spawn-vm
 	 ground-vm)
 
 (define-syntax-rule (transition/no-state action ...)
@@ -70,7 +70,7 @@
     [(cons preaction '()) (core:at-meta-level preaction)]
     [_ (map core:at-meta-level preactions)]))
 
-(define-syntax nested-vm
+(define-syntax spawn-vm
   (lambda (stx)
     (syntax-parse stx
       [(_ (~or (~optional (~seq #:vm-pid vm-pid) #:defaults ([vm-pid #'p0])