diff --git a/Propositional.hs b/Propositional.hs
new file mode 100644
index 0000000000..19fac7a783
--- /dev/null
+++ b/Propositional.hs
@@ -0,0 +1 @@
+module Propositional where