diff --git a/src/inference/ProofSystem.java b/src/inference/ProofSystem.java
new file mode 100644
index 0000000..87c9acb
--- /dev/null
+++ b/src/inference/ProofSystem.java
@@ -0,0 +1,8 @@
+package inference;
+
+public class ProofSystem {
+
+	
+	
+	
+}