diff --git a/racket/syndicate/examples/actor/show-field-scope-enforcement1.rkt b/racket/syndicate/examples/actor/show-field-scope-enforcement1.rkt
new file mode 100644
index 0000000..b4e0f58
--- /dev/null
+++ b/racket/syndicate/examples/actor/show-field-scope-enforcement1.rkt
@@ -0,0 +1,17 @@
+#lang syndicate
+;; Demonstrates that fields may not be passed between actors.
+
+(require syndicate/actor)
+
+(actor #:name 'reading-actor
+       (react
+        (on (message `(read-from ,$this-field))
+            (log-info "Trying to read from ~a" this-field)
+            (log-info "Read: ~a" (this-field))
+            (send! `(read-successfully ,this-field)))))
+
+(actor #:name 'requesting-actor
+       (field [a 123])
+       (send! `(read-from ,a))
+       (until (message `(read-successfully ,a)))
+       (log-info "Done."))
diff --git a/racket/syndicate/examples/actor/show-field-scope-enforcement2.rkt b/racket/syndicate/examples/actor/show-field-scope-enforcement2.rkt
new file mode 100644
index 0000000..e8074c9
--- /dev/null
+++ b/racket/syndicate/examples/actor/show-field-scope-enforcement2.rkt
@@ -0,0 +1,23 @@
+#lang syndicate
+;; Demonstrates that fields may used in a child facet of a declaring
+;; facet, but not the other way around.
+
+(require syndicate/actor)
+
+(actor #:name 'reading-actor
+       (react
+        (field [top 123])
+        (on (message `(read-from ,$this-field))
+            (log-info "Trying to read from ~a" this-field)
+            (log-info "Read: ~a" (this-field))
+            (send! `(read-successfully ,this-field)))
+        (on-start
+         (react (field [inner 234])
+                (on-start
+                 (log-info "Inner access to ~a: ~a" top (top)) ;; OK
+                 (log-info "Inner access to ~a: ~a" inner (inner)) ;; OK
+                 (send! `(read-from ,top)) ;; OK
+                 (until (message `(read-successfully ,top)))
+                 (send! `(read-from ,inner)) ;; Will cause a failure.
+                 (until (message `(read-successfully ,inner))) ;; Will never happen.
+                 (log-info "Done."))))))
diff --git a/racket/syndicate/examples/actor/show-field-scope-enforcement3.rkt b/racket/syndicate/examples/actor/show-field-scope-enforcement3.rkt
new file mode 100644
index 0000000..993b220
--- /dev/null
+++ b/racket/syndicate/examples/actor/show-field-scope-enforcement3.rkt
@@ -0,0 +1,16 @@
+#lang syndicate
+;; Demonstrates that fields may not be passed between sibling facets.
+
+(require syndicate/actor)
+
+(actor (react
+        (on (message `(read-from ,$this-field))
+            (log-info "Trying to read from ~a" this-field)
+            (log-info "Read: ~a" (this-field))
+            (send! `(read-successfully ,this-field))))
+       (react
+        (field [a 123])
+        (on-start
+         (send! `(read-from ,a))
+         (until (message `(read-successfully ,a)))
+         (log-info "Done."))))