From 1715e2810c0601b4319284a3e9faa169b24d212c Mon Sep 17 00:00:00 2001
From: Faried Abu Zaid <fariedaz@gmail.com>
Date: Thu, 26 Jun 2025 00:53:07 +0200
Subject: [PATCH] Update README.md

---
 README.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 0f834ef..a9d87c5 100644
--- a/README.md
+++ b/README.md
@@ -250,11 +250,11 @@ print(f"Remaining infinite set: {remaining.automaton}")
 #### Practical Guidelines:
 1. **Prefer Deep/Narrow Formulas**
    ```python
-   # Width=3 (hard): 
-   wide = "∃x.∃y.∃z.Prime(x)∧Prime(y)∧Twin(x,y,z)"
+   # Width=3 : 
+   wide = "∃x.∃y.∃z.E(x,y) ∧ E(y, z)"
    
-   # Depth=3 (easier):
-   narrow = "∃x.Prime(x) ∧ (∃y.Prime(y) ∧ (∃z.Twin(x,y,z))"
+   # width=2 (easier):
+   narrow = "∃x.∃y.E(x,y) ∧ (∃z.E(y,z))"
    ```
    - Depth scales often better due to incremental minimization
    - Width causes exponential alphabet growth: $|\Sigma|^k$