diff --git a/hadamard_order_six_fourier_v2.txt b/hadamard_order_six_fourier_v2.txt
index 4b1474a..5770a0f 100644
--- a/hadamard_order_six_fourier_v2.txt
+++ b/hadamard_order_six_fourier_v2.txt
@@ -1292,7 +1292,7 @@ Positive definiteness of each Z_lambda is certified by exact Schur
 complement: write B = [[C, u], [u^T, p]] and replace B by C - u u^T
 / p. Repeat until empty. Positive pivots at every step imply positive
 definiteness of the original. Every pivot in every Z_lambda satisfies
-p > 40000 (a strict rational inequality), across 98 pivots total.
+p > 40000 (a strict rational ineuality), across 98 pivots total.
 
 
 9.4 WHAT THE CHECK DOES AND DOES NOT REQUIRE