diff --git a/behavior/facts/all.v b/behavior/facts/all.v
new file mode 100644
index 0000000000000000000000000000000000000000..6fbdfa1d2c58440ba2995fd3deaaf3d81598ab24
--- /dev/null
+++ b/behavior/facts/all.v
@@ -0,0 +1,2 @@
+Require Export rt.behavior.facts.service.
+Require Export rt.behavior.facts.completion.