diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..46ee581e18 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7785,7 +7785,7 @@
 \pnum
 There is an observable checkpoint\iref{intro.abstract} $C$
 that happens before $A$
-such that any other operation $O$
+such that any other evaluation
 that happens before $A$
 also happens before $C$.
 
@@ -7950,7 +7950,7 @@
 \pnum
 There is an observable checkpoint\iref{intro.abstract} $C$
 that happens after the contract-violation handler returns normally
-such that any other operation $O$
+such that any other evaluation
 that happens after the contract-violation handler returns
 also happens after $C$.