diff --git a/prompts/logic/cot_prompt.yaml b/prompts/logic/cot_prompt.yaml
index af32043..d3809b8 100644
--- a/prompts/logic/cot_prompt.yaml
+++ b/prompts/logic/cot_prompt.yaml
@@ -60,11 +60,13 @@ content: >
     - Reformulate all rules and constraints coherently.
     - Utilize predicate logic to define these rules.
     - Identify any implicit rules or constraints not explicitly stated.
+    - Use predicate logic if you find convenient to express the problem
 
     ***Step 1: Verify Your Reformulation*** 
 
     - Review each element of the problem to ensure consistency with your reformulation.
     - Revise as necessary until a clear and consistent reformulation is achieved.
+    - Verify predicate logic rules
 
     **Step 2: Identify Key Components** 
 
@@ -129,4 +131,4 @@ content: >
     - **Encourage Creativity:** Explore alternative solutions or approaches.
     - **Feedback Loop:** After providing an answer, reflect on your reasoning process for potential improvements.
 
-    ### END
\ No newline at end of file
+    ### END