From b0e620255ea7e49edec13362375b42dcc804446a Mon Sep 17 00:00:00 2001
From: Mojtaba Eshghie <37236297+mojtaba-eshghie@users.noreply.github.com>
Date: Thu, 18 Jul 2024 09:11:38 +0200
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e9e3a8a..c4230e4 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ PreDi is a tool to compare two predicates written in Solidity, the smart contrac
 
 - Tokenizes and parses each Solidity predicate into an Abstract Syntax Tree (AST)
 - Simplify AST using symbolic mathematics
-- Compare predicates for equivalence and logical strength either using predefined rules (when applicable) or checking for counter-example satisfiability when not possible via pre-defined rules.
+- Compare predicates for equivalence and logical strength either using predefined rules (when applicable) or checking for satisfiability when pre-defined rules are not applicable.
 
 ## Install Using pip and Use as a Python Library