 of this section.

\[l:almost properness\] For each interval map $f : I \to I$ in ${\mathscr{A}}$ there is $\varepsilon > 0$ such that the following property holds. Let $J_0$ be an interval contained in $I$ satisfying $|J_0| \le \varepsilon$, let $n \ge 1$ be an integer, and let $J$ be a pull-back of $J_0$ by $f^n$ whose closure is contained in the interior of $I$. Suppose in addition that for each $j$ in $\{1, \ldots, n \}$ the pull-back of $J_0$ by $f^j$ containing $f^{n - j}(J)$ has length bounded from above by $\varepsilon$. Then $f^n(\partial J) \subset \partial J_0$.

Note that each preimage of a point of $\partial I$ is either a point of $\partial I$, or a turning point in the interior of $I$. It follows that there is $\varepsilon$ in $(0, |I|)$ such that for every interval $J'$ contained in $I$ that shares an endpoint with $I$ and satisfies $|J'| \le \varepsilon$, the following property holds: For each pull-back $J$ of $J'$ by $f$, either $J$ shares an endpoint with $I$ and $f : J \to J'$ is a bijection, or both endpoints of $J$ are mapped to the endpoint of $J'$ that is not an endpoint of $I$. Reducing $\varepsilon$ if necessary, assume that for every pair of distinct elements $c$ and $c'$ of $\operatorname{Crit}(f) \cup \partial I$, we have $\varepsilon < \operatorname{dist}(c, c')$. We prove the lemma for this choice of $\varepsilon$.

Let $J_0$, $n$, and $J$ be as in the statement of the lemma, and for each $j$ in $\{1, \ldots, n - 1 \}$ let $J_j$ be the pull-back of $J_0$ by 
of this section. 

 \[l: almost properness\ ] For each interval map   $ farad: I \to I$ in   $ { \mathscr{A}}$ there be   $ \varepsilon > 0 $ such that the following property holds. get   $ J_0 $ be an interval contained in   $ I$ satisfy   $ |J_0| \le \varepsilon$, let   $ n \ge 1 $ be an integer, and let   $ J$ be a wrench - back of   $ J_0 $ by   $ f^n$ whose closure is contain in the interior of   $ I$. Suppose in summation that for each   $ j$ in   $ \{1, \ldots, n \}$ the wrench - back of   $ J_0 $ by   $ f^j$ containing   $ f^{n - j}(J)$ has length bounded from above by   $ \varepsilon$. Then   $ f^n(\partial J) \subset \partial J_0$. 

 notice that each preimage of a point of   $ \partial I$ is either a point of   $ \partial I$, or a turning degree in the interior of   $ I$. It follows that there cost   $ \varepsilon$ in   $ (0, |I|)$ such that for every interval   $ J'$ incorporate in   $ I$ that shares an endpoint with   $ I$ and satisfies   $ |J'| \le \varepsilon$, the following property holds: For each wrench - back   $ J$ of   $ J'$ by   $ f$, either   $ J$ shares an endpoint with   $ I$ and   $ f: J \to J'$ is a bijection, or both endpoints of   $ J$ are mapped to the endpoint of   $ J'$ that is not an endpoint of   $ I$. Reducing   $ \varepsilon$ if necessary, assume that for every pair of distinct elements   $ c$ and   $ c'$ of   $ \operatorname{Crit}(f) \cup \partial I$, we have   $ \varepsilon < \operatorname{dist}(c, c')$. We prove the lemma for this choice of   $ \varepsilon$. 

 Let   $ J_0 $, $ n$, and   $ J$ be as in the argument of the lemma, and for each   $ j$ in   $ \{1, \ldots, n - 1 \}$ let   $ J_j$ be the pull - back of   $ J_0 $ by
 of this section.

\[l:almost prokerness\] For each nbtervan map $f : I \to I$ in ${\mathscr{A}}$ there is $\varepsilln > 0$ suxh that the following oroperty jolds. Ler $J_0$ bt an interval convzined ik $N$ satjdfyiug $|O_0| \le \varepsilon$, let $n \ge 1$ te an integer, dna pet $J$ be a pull-back of $J_0$ by $f^n$ whose cjosure os contained in jhe imeerikg if $I$. Suppose in addition that ror eaci $j$ in $\{1, \ldots, n \}$ yhe pull-back of $J_0$ by $f^j$ contwinijg $f^{n - j}(J)$ has lengtj bounded ftkm wvove by $\vareprilon$. Then $f^n(\partial J) \aubset \partial J_0$.

Note that each oreimcge of a pounr ov $\kartial I$ is eithvr a point of $\isrtial I$, or a turning point in thw interior of $I$. It folnows that there is $\darepsilot$ nn $(0, |I|)$ such that for evwrt intgrval $B'$ covraived ii $I$ fhat sjarxs an endpojnt with $I$ abd satisfies $|J'| \le \vate[wilon$, the folmowing pwoperty holds: For each pull-back $J$ of $J'$ by $x$, ejther $J$ shares an endpoibt with $I$ and $f : J \to J'$ is a bijqction, or both endpoints of $J$ are mapped to the engpoinv uf $J'$ tmat kw jot an endpoint of $I$. Reducing $\varepsilon$ if necqassrj, assume that for every pair ov cystinct elemevts $c$ aus $c'$ of $\operatorname{Crih}(f) \cup \kartiao I$, we hade $\vatepsilon < \operatorname{dist}(c, c')$. We prove nhe oemma for this chonce of $\varepsnlon$.

Lej $J_0$, $n$, amd $J$ be as in the statemznt of the lemma, wnd for ezzh $j$ in $\{1, \ldots, n - 1 \}$ lvt $J_j$ be the kjll-back of $J_0$ by 
of this section. \[l:almost properness\] For each $f I \to in ${\mathscr{A}}$ there that following property holds. $J_0$ be an contained in $I$ satisfying $|J_0| \le let $n \ge 1$ be an integer, and let $J$ be a pull-back $J_0$ by $f^n$ whose closure is contained in the interior of $I$. Suppose addition for $j$ $\{1, \ldots, n \}$ the pull-back of $J_0$ by $f^j$ containing $f^{n - j}(J)$ has length from above by $\varepsilon$. Then $f^n(\partial J) \subset J_0$. Note that each of a point of $\partial is a point $\partial or turning point in interior of $I$. It follows that there is $\varepsilon$ in $(0, |I|)$ such that for every interval contained in shares an with and $|J'| \le \varepsilon$, property holds: For each pull-back $J$ $f$, either $J$ shares an endpoint with $I$ $f : \to J'$ is a bijection, or endpoints of $J$ are mapped to the endpoint $J'$ that is not an endpoint of $I$. Reducing $\varepsilon$ if necessary, assume that for of distinct elements $c$ $c'$ of $\operatorname{Crit}(f) \partial we $\varepsilon \operatorname{dist}(c, c')$. prove the lemma for this choice of $\varepsilon$. Let $J_0$, $n$, $J$ be as in the statement of the lemma, and $j$ $\{1, \ldots, n 1 \}$ let $J_j$ the of $J_0$ by
 of this section.

\[l:almost propeRness\] For eaCh intErvAl mAp $F : I \to i$ in ${\mAthscr{A}}$ there is $\VArepSilon > 0$ such that the followIng prOpERty hOLdS. Let $J_0$ Be an intERvAL ConTaInEd iN $I$ SAtIsfyiNg $|J_0| \Le \varepSilon$, let $n \gE 1$ be An Integer, and leT $j$ bE a pull-back Of $J_0$ By $f^n$ whose cloSurE is conTaIneD In the IntErior Of $I$. SupPOse in aDdition thAt FOr each $J$ In $\{1, \ldots, N \}$ THe Pull-Back of $J_0$ by $f^j$ contaiNInG $F^{n - j}(J)$ has length bOunded FrOM aBOVe bY $\vaRepsilon$. ThEn $F^n(\parTIal J) \subSEt \PARTiaL j_0$.

Note that each Preimage of a POinT of $\parTiAl I$ IS eitheR a poiNt OF $\paRtial I$, or a tuRninG point in tHe inteRIor of $I$. IT Follows That thEre Is $\vArepSIlOn$ In $(0, |I|)$ SuCH thAT fOr eVEry Interval $j'$ cOnTaineD in $I$ THAT SharEs aN endPoint With $I$ and satisFieS $|J'| \le \VArePsiloN$, the fOlloWiNg proPerty hOlds: FOr Each pull-back $J$ of $j'$ by $f$, Either $J$ shAreS aN enDpOint wITh $I$ and $F : J \tO J'$ iS a bijecTion, or bOTh eNdPOINtS of $J$ are mapped to the EnDPOiNt of $J'$ thaT is not AN eNdPOint of $I$. REdUciNg $\vaREPsiloN$ if nECeSsary, assUme thaT FoR eVery paiR oF distiNcT elEmeNts $c$ aND $c'$ of $\OperatOrname{CrIt}(f) \cuP \Partial I$, we have $\VArepsilon < \operAToRNAmE{Dist}(C, c')$. WE prove the leMma fOR thiS choICe Of $\vARepsiLon$.

LeT $J_0$, $N$, AnD $j$ be as in the statement Of The lemMa, and For each $j$ in $\{1, \ldoTs, n - 1 \}$ let $J_j$ be THE Pull-back Of $J_0$ bY 
 of this section.

\[l:alm ost proper ness\ ] F orea ch i nter val map $f : I \toI$ in ${\mathscr{A}}$there  i s  $\v a re psilo n > 0$s uc h tha tth e f ol l ow ing p rop erty ho lds. Let $ J_0 $be an interv a lcontainedin$I$ satisfyi ng$|J_0|  \ le\ varep sil on$,let $n \ge 1$  be an in te g er, an d  let $J $ be  a p ull-back of $J_0$ by $f^n$ whose cl osureis co n t ain edin the int er ior o f  $I$. S u pp o s e  in addition that  for each $ j $ i n $\{1 ,\ld o ts, n\}$ t he pul l-back of $ J_0$  by $f^j$  conta i ning $f ^ {n - j} (J)$ h aslen gthb ou nd edfr o m a b ov e b y  $\ varepsil on $.  Then  $f^ n ( \ p arti alJ) \ subse t \partial J_ 0$. 

No t e t hat e ach p reim ag e ofa poin t of$\ partial I$ is e ithe r a point  of  $ \pa rt ial I $ , or a  tu rni ng poin t in th e  in te r i o rof $I$. It follows  t h a tthere is  $\var e ps il o n$ in $( 0,  |I |)$s u ch th at f o revery in terval $J '$  contai ne d in $ I$  th atshare s  anendpoi nt with$I$ a n d satisfies $| J '| \le \varep s il o n $, thefol lowing prop erty hold s: F o reac h  pull -back  $ J $o f $J'$ by $f$, eith er  $J$ s hares  an endpointwith $I$ a n d $f : J \ to J ' $i s a bijection,  or b oth endpoi n ts of $J $ are  mappedto the en d p oint of$J' $ t hat  is n ot  an endpointo f  $I$ .Reducin g $ \vareps ilo n$ifnec es sary, ass ume that  f or  e ve rypairo f distin ct  el em ent s $c$ and $c '$ of  $\o pe ra t orn ame{Cri t }( f )  \cu p\p arti alI$ , wehave $\v arepsil on < \ope rat o rnam e{ di st}(c,c')$. We prov ethe lemmafo r t his ch o i ce of $\ varepsilon$.

Let $J_0$ ,  $n$, a nd$J$ b e as  in the s tat ementoft he lem ma, an d for  e ach $ j$ in $ \{ 1,\l dots, n -1 \}$  let$J _j$be thepull-back of $J_0$ by
 of_this section.

\[l:almost_properness\] For each interval_map $f :_I_\to I$_in ${\mathscr{A}}$_there is $\varepsilon >_0$ such that_the following property holds._Let $J_0$ be an_interval_contained in $I$ satisfying $|J_0| \le \varepsilon$, let $n \ge 1$ be an integer, and let $J$ be_a_pull-back of $J_0$_by $f^n$_whose_closure is contained in the_interior of $I$. Suppose in addition_that for_each $j$ in $\{1, \ldots, n \}$ the pull-back of $J_0$_by $f^j$_containing $f^{n - j}(J)$_has length bounded from above by $\varepsilon$. Then $f^n(\partial J) \subset_\partial J_0$.

Note that each preimage of_a point of $\partial_I$_is_either a point of $\partial_I$, or a turning point in_the interior of $I$. It follows that_there is $\varepsilon$ in $(0, |I|)$ such that for_every interval $J'$ contained in $I$ that shares_an endpoint with $I$ and satisfies $|J'|_\le \varepsilon$,_the following property holds: For_each pull-back $J$ of $J'$_by $f$, either $J$_shares an endpoint_with $I$ and $f : J \to J'$_is a bijection,_or both endpoints of $J$ are mapped_to_the endpoint of $J'$_that_is_not an_endpoint of $I$. Reducing $\varepsilon$_if_necessary, assume_that_for every pair of distinct elements $c$_and $c'$_of $\operatorname{Crit}(f) \cup \partial I$, we have $\varepsilon <_\operatorname{dist}(c, c')$. We prove_the_lemma for this choice_of $\varepsilon$.

Let $J_0$, $n$, and $J$ be as_in the statement of the lemma,_and for_each $j$ in $\{1,_\ldots, n - 1 \}$ let $J_j$ be the pull-back of $J_0$ by 