diff --git a/singular_free_tangent_sheaf_v2.txt b/singular_free_tangent_sheaf_v2.txt
index a9ca25a..9d0cfde 100644
--- a/singular_free_tangent_sheaf_v2.txt
+++ b/singular_free_tangent_sheaf_v2.txt
@@ -1173,7 +1173,7 @@ p_nu in A_j with p_nu -> p in V_j and Phi_j(p_nu) -> q in V_0. The
 source base radii have limit at least a_j and less than
 b'_j < b_j. The flow is defined across the closed annulus, so
 continuity gives q = Phi_j(p). If the limiting source radius were
-a_j, the collar inequality would give |z_j(q)| < a'_j, contrary to
+a_j, the collar ineuality would give |z_j(q)| < a'_j, contrary to
 q in V_0. Thus a_j < |z_j(p)| < b_j and p in A_j, as required.
 Possible fiber boundaries cause no difficulty because both limiting
 points are assumed to belong to the retained open pieces.
@@ -1181,7 +1181,7 @@ points are assumed to belong to the retained open pieces.
 The equivalence relation is therefore closed. The quotient map is
 open, since it glues open sets by biholomorphisms. An open quotient
 map with closed equivalence relation has Hausdorff target: two
-inequivalent representatives have product neighborhoods disjoint
+ineuivalent representatives have product neighborhoods disjoint
 from the relation, and the images of these neighborhoods are
 disjoint open sets. Moreover, the quotient map restricts on every
 V_i to an injective open map. The complex structures on these