From 8183bdddb2a7516453b4f681337053690098a66d Mon Sep 17 00:00:00 2001
From: Diego <105765223+0xfuturistic@users.noreply.github.com>
Date: Mon, 5 Aug 2024 22:45:16 -0400
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index c1975fe..fc80389 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ This theorem forms the foundation of the GSR, which operates as follows:
 - Continue this process until one type of order is exhausted.
 - Once one type is exhausted, only allow the other type for the rest of the block.
 
-By following these rules, the GSR ensures:
+By following these rules, the GSR ensures the following:
 
 > **Theorem 5.2** Greedy Sequencing Rule (GSR)**.** We specify a sequencing rule (the Greedy Sequencing Rule) such that, for any valid execution ordering, then for any user transaction $A$ that the proposer includes in the block, it must be one of the following: <br>1. The user efficiently detects the proposer did not respect the sequencing rule. <br>2. The execution price of $A$ is at least as good as if $A$ was the only transaction in the block. <br>3. The execution price of $A$ is worse but the proposer does not gain when including $A$ in the block.