diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc
index 4f68066..e4c533c 100644
Binary files a/__pycache__/proof.cpython-39.pyc and b/__pycache__/proof.cpython-39.pyc differ
diff --git a/proof.py b/proof.py
index c16ddc5..7bd5772 100644
--- a/proof.py
+++ b/proof.py
@@ -586,7 +586,7 @@ def closure(self,G,a,b):
         '''
         if G.contains(a) and G.contains(b):
             G.mulElements(a,b)
-            self.steps+=[In(G,Mult([a,b]))]
+            self.steps+=[In(Mult([a,b]),G)]
             self.justifications+=["Closure"]
             self.show()
         else: