diff --git a/src/itp_interface/rl/simple_proof_env.py b/src/itp_interface/rl/simple_proof_env.py
index 8ff3f18..555019a 100644
--- a/src/itp_interface/rl/simple_proof_env.py
+++ b/src/itp_interface/rl/simple_proof_env.py
@@ -526,7 +526,7 @@ def _foward_to_lemma_proof(self):
                 lemma_name = self._dynamic_proof_executor.get_lemma_name_if_running()
                 if lemma_name is not None:
                     lemma_name = lemma_name.strip()
-                lemma_found = lemma_name.startswith(self.lemma_name) if lemma_name is not None else False
+                lemma_found = lemma_name == self.lemma_name if lemma_name is not None else False
                 if not lemma_found:
                     _ = list(self._dynamic_proof_executor.run_to_finish_lemma_return_exec())
                     if self._dynamic_proof_executor.execution_complete:
@@ -544,7 +544,7 @@ def _foward_to_lemma_proof(self):
                 lemma_name = self._dynamic_proof_executor.get_lemma_name_if_running()
                 if lemma_name is not None:
                     lemma_name = lemma_name.strip()
-                lemma_found = lemma_name.startswith(self.lemma_name) if lemma_name is not None else False
+                lemma_found = lemma_name == self.lemma_name if lemma_name is not None else False
                 if not lemma_found:
                     _ = list(self._dynamic_proof_executor.run_to_finish_lemma_return_exec())
                     if self._dynamic_proof_executor.execution_complete: