diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc
index 13f7c97..4f68066 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 a5a41d4..c16ddc5 100644
--- a/proof.py
+++ b/proof.py
@@ -689,9 +689,11 @@ def andElim(self, lineNum, n):
             if n==1:
                 self.steps += [evidence.arg1]
                 self.justifications += ["And elimination"]
+                self.show()
             elif n==2:
                 self.steps += [evidence.arg2]
                 self.justifications += ["And elimination"]
+                self.show()
             else:
                 print('\n'+"You must choose argument 1 or 2")
         else: