diff --git a/box-protocol.prs b/box-protocol.prs
deleted file mode 100644
index d200d54..0000000
--- a/box-protocol.prs
+++ /dev/null
@@ -1,9 +0,0 @@
-version 1 .
-embeddedType Actor.Ref .
-
-BoxState = <BoxState @value int>.
-SetBox = <SetBox @value int>.
-
-; BoxCap = BoxState / <Observe =SetBox @observer embedded>.
-; ClientCap = SetBox / <Observe =BoxState @observer embedded>.
-.