diff --git a/source/basic.tex b/source/basic.tex
index a813f68d9c..f7340bb3c4 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -6765,7 +6765,7 @@
 
 \pnum
 An evaluation $A$ \defn{happens before} an evaluation $B$
-(or, equivalently, $B$ happens after $A$)
+(or, equivalently, $B$ \defn{happens after} $A$)
 if either
 \begin{itemize}
 \item $A$ is sequenced before $B$, or