diff --git a/projective_hodge_iitaka_v2.txt b/projective_hodge_iitaka_v2.txt
index fa849dd..c350cab 100644
--- a/projective_hodge_iitaka_v2.txt
+++ b/projective_hodge_iitaka_v2.txt
@@ -884,7 +884,7 @@ of R_exc maps to codimension >= 2.  Apply Lemma 7.1 with
       J = L_T,   D = D_N + R_div,
       A = K_T - R_div = pi* K_{S_0} + R_exc.
 
-Every component of D satisfies the rank inequality, and
+Every component of D satisfies the rank ineuality, and
 A + D = K_T + D_N is big.  So
 
       A + j L_T  ~Q  pi* (K_{S_0} + j L_0) + R_exc
@@ -1708,7 +1708,7 @@ and r > n-1 (impossible) are immediate.  QED
 
 Connection.  The hypotheses here arise from the tensor replacement and
 full-period descent of Lemmas 10.4 and 10.5.  Lemma 11.2 gives the same
-strict inequality as Lemma 10.7, with the boundary intersection
+strict ineuality as Lemma 10.7, with the boundary intersection
 justified directly by Thom forms, and the subtraction Lemma 10.8 applies
 to the union of divisors with nonidentity transverse monodromy.  The
 full-period map supplies bigness of K_R + J; the top-line rank supplies