diff --git a/src/mongo/tla_plus/README.md b/src/mongo/tla_plus/README.md
index aee93861ec2..1cb69c55f96 100644
--- a/src/mongo/tla_plus/README.md
+++ b/src/mongo/tla_plus/README.md
@@ -1,6 +1,6 @@
 # MongoDB TLA+/PlusCal Specifications
 
-This folder contains formal specifications of various components in order to prove their
+This folder contains formal specifications of various components in order to check their
 correctness. Some are experiments, some reflect MongoDB's actual implementation. See the
 comments in each spec for details.