diff --git a/pixton_completeness_counterexample_v2.txt b/pixton_completeness_counterexample_v2.txt
index 63a5f36..3bc8f5f 100644
--- a/pixton_completeness_counterexample_v2.txt
+++ b/pixton_completeness_counterexample_v2.txt
@@ -2343,7 +2343,7 @@ Advancements fall into two regimes:
   These lower base-image dimension by >= g - K - 2.
 
 We count available entries against these costs. The key
-inequality is
+ineuality is
 
     10^17 g  <<  0.01 D_0  for D_0 = C(m_0, 3),