diff --git a/imperative/distributed/federation.rkt b/imperative/distributed/federation-prototype/federation.rkt
similarity index 99%
rename from imperative/distributed/federation.rkt
rename to imperative/distributed/federation-prototype/federation.rkt
index b7a615b..e80ef07 100644
--- a/imperative/distributed/federation.rkt
+++ b/imperative/distributed/federation-prototype/federation.rkt
@@ -4,7 +4,7 @@
          (struct-out router-inbound)
          (struct-out router-outbound))
 
-(require "wire-protocol.rkt")
+(require "../wire-protocol.rkt")
 (require imperative-syndicate/bag)
 (require racket/set)
 
diff --git a/imperative/distributed/tf.rkt b/imperative/distributed/federation-prototype/tf.rkt
similarity index 99%
rename from imperative/distributed/tf.rkt
rename to imperative/distributed/federation-prototype/tf.rkt
index 1e0dd59..1ecd967 100644
--- a/imperative/distributed/tf.rkt
+++ b/imperative/distributed/federation-prototype/tf.rkt
@@ -3,7 +3,7 @@
 (require imperative-syndicate/pattern)
 
 (require/activate imperative-syndicate/drivers/timer)
-(require/activate "wire-protocol.rkt")
+(require/activate "../wire-protocol.rkt")
 (require/activate "federation.rkt")
 
 (assertion-struct present (who))