diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/DefinitionManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/DefinitionManager.java
new file mode 100644
index 0000000..f6f98d6
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/DefinitionManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.DefinitionDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class DefinitionManager {
+    final private DefinitionDao definitionDao;
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
new file mode 100644
index 0000000..2de5b2d
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/ManagerConfig.java
@@ -0,0 +1,30 @@
+package manager;
+
+import dao.DefinitionDao;
+import dao.ProofDao;
+import dao.TheoremDao;
+import org.springframework.context.annotation.Bean;
+import org.springframework.context.annotation.ComponentScan;
+import org.springframework.context.annotation.Configuration;
+import org.springframework.context.annotation.PropertySource;
+
+@Configuration
+@ComponentScan
+@PropertySource("classpath:development.properties")
+public class ManagerConfig {
+
+    @Bean
+    public TheoremManager theoremManager() {
+        return new TheoremManager(new TheoremDao());
+    }
+
+    @Bean
+    public DefinitionManager definitionManager() {
+        return new DefinitionManager(new DefinitionDao());
+    }
+
+    @Bean
+    public ProofManager proofManager() {
+        return new ProofManager(new ProofDao());
+    }
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/ProofManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/ProofManager.java
new file mode 100644
index 0000000..4f50c14
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/ProofManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.ProofDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class ProofManager {
+    final private ProofDao proofDao;
+}
diff --git a/pandamonium-theorem-prover/persistence/src/main/java/manager/TheoremManager.java b/pandamonium-theorem-prover/persistence/src/main/java/manager/TheoremManager.java
new file mode 100644
index 0000000..7956c4d
--- /dev/null
+++ b/pandamonium-theorem-prover/persistence/src/main/java/manager/TheoremManager.java
@@ -0,0 +1,11 @@
+package manager;
+
+import dao.TheoremDao;
+import lombok.AllArgsConstructor;
+import org.springframework.stereotype.Component;
+
+@Component
+@AllArgsConstructor
+class TheoremManager {
+    final private TheoremDao theoremDao;
+}