diff --git a/__pycache__/group.cpython-39.pyc b/__pycache__/group.cpython-39.pyc
index d110469..c908826 100644
Binary files a/__pycache__/group.cpython-39.pyc and b/__pycache__/group.cpython-39.pyc differ
diff --git a/__pycache__/logicObjects.cpython-39.pyc b/__pycache__/logicObjects.cpython-39.pyc
index 39ed0b7..08f9c57 100644
Binary files a/__pycache__/logicObjects.cpython-39.pyc and b/__pycache__/logicObjects.cpython-39.pyc differ
diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc
index 43a5bec..f56f9fb 100644
Binary files a/__pycache__/proof.cpython-39.pyc and b/__pycache__/proof.cpython-39.pyc differ
diff --git a/abelian_proof.py b/abelian_proof.py
index f5be741..54bc1e1 100644
--- a/abelian_proof.py
+++ b/abelian_proof.py
@@ -13,7 +13,7 @@
 p.closure(G,'a','b')
 p.accessAssumption()
 p.forallElim(4,['a * b'])
-p.leftMult(G.elements['a'],5)
+p.leftMult(G.elements['a'],5) # G.elements should be a function not a dictionary
 p.forallElim(4,['a'])
 p.substituteRHS(6,7)
 p.identleft(8)