diff --git a/vsp.py b/vsp.py
index 6a50c63..ad2849b 100644
--- a/vsp.py
+++ b/vsp.py
@@ -98,14 +98,11 @@ Subalgebra 1: {set_to_str(self.subalgebra1)}
 Subalgebra 2: {set_to_str(self.subalgebra2)}
 """
 
-def has_vsp(model: Model, interpretation: Dict[Operation, ModelFunction]) -> VSP_Result:
+def has_vsp(model: Model, impfunction: ModelFunction, mconjunction: Optional[ModelFunction] = None, mdisjunction: Optional[ModelFunction] = None) -> VSP_Result:
     """
     Checks whether a model has the variable
     sharing property.
     """
-    impfunction = interpretation[Implication]
-    mconjunction = interpretation.get(Conjunction)
-    mdisjunction = interpretation.get(Disjunction)
     top = find_top(model.carrier_set, mconjunction, mdisjunction)
     bottom = find_bottom(model.carrier_set, mconjunction, mdisjunction)
 
diff --git a/vspursuer.py b/vspursuer.py
index 5a6ee55..66716a3 100755
--- a/vspursuer.py
+++ b/vspursuer.py
@@ -1,12 +1,10 @@
 #!/usr/bin/env python3
 from os import cpu_count
 import argparse
-import multiprocessing
+import multiprocessing as mp
 
-from parse_magic import (
-    SourceFile,
-    parse_matrices
-)
+from logic import Conjunction, Disjunction, Implication
+from parse_magic import SourceFile, parse_matrices
 from vsp import has_vsp, VSP_Result
 
 if __name__ == "__main__":
@@ -24,11 +22,21 @@ if __name__ == "__main__":
         solutions = parse_matrices(SourceFile(data_file))
     print(f"Parsed {len(solutions)} matrices")
 
+    # NOTE: When subprocess gets spawned, the logical operations will
+    # have a different memory address than what's expected in interpretation.
+    # This will make it so that we can pass the model functions directly instead.
+    solutions_expanded = []
+    for model, interpretation in solutions:
+        impfunction = interpretation[Implication]
+        mconjunction = interpretation.get(Conjunction)
+        mdisjunction = interpretation.get(Disjunction)
+        solutions_expanded.append((model, impfunction, mconjunction, mdisjunction))
+
     num_has_vsp = 0
-    with multiprocessing.Pool(processes=max(cpu_count() - 2, 1)) as pool:
+    with mp.Pool(processes=max(cpu_count() - 2, 1)) as pool:
         results = [
-            pool.apply_async(has_vsp, (model, interpretation,))
-            for model, interpretation in solutions
+            pool.apply_async(has_vsp, (model, impfunction, mconjunction, mdisjunction,))
+            for model, impfunction, mconjunction, mdisjunction in solutions_expanded
         ]
 
         for i, result in enumerate(results):