diff --git a/specification/Simplex/Messaging.idr b/specification/Simplex/Messaging/Protocol.idr
similarity index 99%
rename from specification/Simplex/Messaging.idr
rename to specification/Simplex/Messaging/Protocol.idr
index f27583bfa0..eb1ef73d2d 100644
--- a/specification/Simplex/Messaging.idr
+++ b/specification/Simplex/Messaging/Protocol.idr
@@ -1,4 +1,4 @@
-module Simplex.Messaging
+module Simplex.Messaging.Protocol
 
 data Participant = Recipient | Sender | Broker
 
diff --git a/specification/Simplex/Messaging/Scenarios.idr b/specification/Simplex/Messaging/Scenarios.idr
new file mode 100644
index 0000000000..a942b6af39
--- /dev/null
+++ b/specification/Simplex/Messaging/Scenarios.idr
@@ -0,0 +1,3 @@
+module Simplex.Messaging.Scenarios
+
+import Protocol