diff --git a/spec/protocol-spec/README.md b/spec/protocol-spec/README.md
index 5d5d19fb..4e6853f9 100644
--- a/spec/protocol-spec/README.md
+++ b/spec/protocol-spec/README.md
@@ -72,7 +72,7 @@ execution:
 
 In the course of writing the specification, we have developed a number of state
 invariants. By simulating and model checking the specification against these
-invariants increases our confidence in the correctness of the protocol.
+invariants, we have increased our confidence in the correctness of the protocol.
 
 |#| Invariant        | Description                                                   |
 |--| ---------------- | ------------------------------------------------------------- |