diff --git a/trace_reconstruction_anchor_induction_v2.txt b/trace_reconstruction_anchor_induction_v2.txt
index ef695fe..96dc7b6 100644
--- a/trace_reconstruction_anchor_induction_v2.txt
+++ b/trace_reconstruction_anchor_induction_v2.txt
@@ -475,7 +475,7 @@ Here C is a large absolute constant, the same at every level. Its
 existence follows from the construction, and one value serves for all
 stages.
 
-How to read (M1) and (M2).
+(M1) and (M2) in plain terms.
 
   (M1) says that a mask is negligible unless all of its differences are
   small, of order 1/t_h. This is what keeps the probe's sums bounded.