 preimage under $\text{ev}$ of the point $p=h_1(\sigma_1)=h_2(\sigma_2)$. The image of $e_i$ is contained in the smooth locus of $P$. The claim is that $e_i:{{\mathcal}M}_i \rightarrow
P$ is smooth. By [@K proposition I.2.14.2], the obstruction space at a point $\zeta_i$ is contained in the cohomology group $H^1{\left}( B_i,
\zeta_i^* T_{\text{ev}}(-\sigma_i) {\right})$. By the definition of a twisting family, $\zeta_i^* T_{\text{ev}}$ is generated by global sections. Thus, by lemma \[lem-gend\], the cohomology group above is zero. Since the obstruction space vanishes, we conclude that $e_i$ is smooth.

Since both $e_1:{{\mathcal}M}_1 \rightarrow P$ and $e_2:{{\mathcal}M}_2
\rightarrow P$ are smooth, both have nonempty, open image. And $P$ is irreducible by assumption. Therefore the image of $e_1$ and the image of $e_2$ intersect. If we choose a family $\zeta_1\in {{\mathcal}M}_1$ and $\zeta_2\in {{\mathcal}M}_2$ such that $e_1(\zeta_1)=e_2(\zeta_2)$, then we can glue $\zeta_1$ and $\zeta_2$ to obtain a morphism $\zeta:B
\rightarrow {\overline{{\mathcal}M}_{0,1}({X,1})}$ such that $\zeta|_{B_1}=\zeta_1$ and $\zeta|_{B_2} = \zeta_2$. By lemma \[lem-twisttogether\], we conclude that $\zeta$ is twisting. Moreover, if at least one of $\zeta_i, i=1,2$ is very twisting, then $\zeta$ is very twisting. And $\widetilde{\zeta} = \xi$. This shows that $\xi$ is twistable, and it is very twistable if at least one of $\xi_i, i=1,2$ is very twistable.

\[hyp-2\] Let $U \subset {\overline{{\mathcal}M}_{0,1}({X,1})}$ denote
preimage under $ \text{ev}$ of the point $ p = h_1(\sigma_1)=h_2(\sigma_2)$. The image of $ e_i$ is contained in the legato venue of $ P$. The claim is that $ e_i:{{\mathcal}M}_i \rightarrow 
 P$ is smooth. By [ @K proposition I.2.14.2 ], the obstacle space at a compass point $ \zeta_i$ is contained in the cohomology group $ H^1{\left } (B_i, 
 \zeta_i^ * T_{\text{ev}}(-\sigma_i) { \right})$. By the definition of a spin kin, $ \zeta_i^ * T_{\text{ev}}$ is generated by global sections. Thus, by lemma   \[lem - gend\ ], the cohomology group above is zero. Since the obstacle space vanishes, we conclude that $ e_i$ is smooth. 

 Since both $ e_1:{{\mathcal}M}_1 \rightarrow P$ and $ e_2:{{\mathcal}M}_2 
 \rightarrow P$ are smooth, both accept nonempty, open image. And $ P$ is irreducible by assumption. Therefore the image of $ e_1 $ and the persona of $ e_2 $ intersect. If we choose a family $ \zeta_1\in { { \mathcal}M}_1 $ and $ \zeta_2\in { { \mathcal}M}_2 $ such that $ e_1(\zeta_1)=e_2(\zeta_2)$, then we can glue $ \zeta_1 $ and $ \zeta_2 $ to obtain a morphism $ \zeta: B 
 \rightarrow { \overline{{\mathcal}M}_{0,1}({X,1})}$ such that $ \zeta|_{B_1}=\zeta_1 $ and $ \zeta|_{B_2 } = \zeta_2$. By lemma   \[lem - twisttogether\ ], we reason that $ \zeta$ is twisting. Moreover, if at least one of $ \zeta_i, i=1,2 $ is very distortion, then $ \zeta$ is very twisting. And $ \widetilde{\zeta } = \xi$. This show that $ \xi$ is twistable, and it is very twistable if at least one of $ \xi_i, i=1,2 $ is very twistable. 

 \[hyp-2\ ] Let $ U \subset { \overline{{\mathcal}M}_{0,1}({X,1})}$ denote
 prfimage under $\text{ev}$ of tme point $p=h_1(\sigma_1)=k_2(\wigma_2)$. Vhe imafe of $e_i$ is contained in the smooth poxus od $P$. The claim is that $d_i:{{\mathcal}L}_i \rightqrrox
P$ is smooth. By [@K proposlcion J.2.14.2], the ibstruction spsce at a pmint $\zeta_i$ is wovtcined in the cohomology group $H^1{\left}( F_i,
\zeta_i^* T_{\hext{ev}}(-\sigma_i) {\ryght})$. Fy tgv befinition of a twisting family, $\zeta_i^* U_{\text{ev}}$ is generatrd by global sections. Thus, by pemma \[lem-gend\], the clhomology gtkup qbove is zeru. Since tht mbstructioh space vanishes, we conclude thxt $e_i$ is smooth.

Wibce toth $e_1:{{\mathcel}M}_1 \ridhtarrow P$ akc $e_2:{{\matvcal}M}_2
\ribhtarrow P$ are smmoty, both have nonempty, mpen image. And $P$ if irreduchbme by assumption. Rhwrefote tha imxte uf $t_1$ aid fhe imwge of $e_2$ intedsect. If we choose a family $\zeua_1\ig {{\mathcal}M}_1$ and $\zeta_2\ig {{\iathcal}M}_2$ such that $e_1(\zeta_1)=e_2(\zeta_2)$, then we cdn flue $\zeta_1$ and $\zeta_2$ to ovtain a morphism $\zeta:H
\rightarrjw {\overline{{\mathcal}M}_{0,1}({X,1})}$ such that $\zeta|_{B_1}=\zeta_1$ and $\zeta|_{T_2} = \zeva_2$. By lcmma \[uwm-hwisttogether\], we conclude that $\zeta$ is twistigf. Kogeover, if at leasb one of $\zeta_i, i=1,2$ ix geti twisting, thev $\zeta$ is very twisting. And $\widetijde{\zera} = \xi$. Thys snows that $\xi$ is twistable, abd it is verj twustable if at leasc one of $\xi_i, i=1,2$ ix veru twistable.

\[hyp-2\] Let $U \suyset {\oberline{{\mathfal}M}_{0,1}({X,1})}$ denkge
preimage under $\text{ev}$ of the point $p=h_1(\sigma_1)=h_2(\sigma_2)$. of is contained the smooth locus that \rightarrow P$ is By [@K proposition the obstruction space at a point is contained in the cohomology group $H^1{\left}( B_i, \zeta_i^* T_{\text{ev}}(-\sigma_i) {\right})$. By the of a twisting family, $\zeta_i^* T_{\text{ev}}$ is generated by global sections. Thus, by \[lem-gend\], cohomology above zero. Since the obstruction space vanishes, we conclude that $e_i$ is smooth. Since both $e_1:{{\mathcal}M}_1 \rightarrow and $e_2:{{\mathcal}M}_2 \rightarrow P$ are smooth, both have open image. And $P$ irreducible by assumption. Therefore the of and the of intersect. we choose a $\zeta_1\in {{\mathcal}M}_1$ and $\zeta_2\in {{\mathcal}M}_2$ such that $e_1(\zeta_1)=e_2(\zeta_2)$, then we can glue $\zeta_1$ and $\zeta_2$ to obtain morphism $\zeta:B such that and = By lemma \[lem-twisttogether\], that $\zeta$ is twisting. Moreover, if of $\zeta_i, i=1,2$ is very twisting, then $\zeta$ very twisting. $\widetilde{\zeta} = \xi$. This shows that is twistable, and it is very twistable if least one of $\xi_i, i=1,2$ is very twistable. \[hyp-2\] Let $U \subset {\overline{{\mathcal}M}_{0,1}({X,1})}$ denote
 preimage under $\text{ev}$ of the pOint $p=h_1(\sigmA_1)=h_2(\sigMa_2)$. THe iMaGe of $E_i$ is Contained in the SMootH locus of $P$. The claim is thaT $e_i:{{\maThCAl}M}_i \RIgHtarrOw
P$ is smOOtH. bY [@K pRoPoSitIoN i.2.14.2], tHe obsTruCtion spAce at a poinT $\zeTa_I$ is contained IN tHe cohomoloGy gRoup $H^1{\left}( B_i,
\zEta_I^* T_{\text{Ev}}(-\SigMA_i) {\rigHt})$. BY the dEfinitIOn of a tWisting faMiLY, $\zeta_i^* t_{\Text{ev}}$ iS GEnEratEd by global sectionS. thUS, by lemma \[lem-genD\], the coHoMOlOGY grOup Above is zerO. SInce tHE obstruCTiON SPacE Vanishes, we conClude that $e_i$ IS smOoth.

SiNcE boTH $e_1:{{\mathCal}M}_1 \rIgHTarRow P$ and $e_2:{{\matHcal}m}_2
\rightarrOw P$ are SMooth, boTH have noNempty, OpeN imAge. AND $P$ Is IrrEdUCibLE bY asSUmpTion. TherEfOrE the iMage OF $E_1$ ANd thE imAge oF $e_2$ intErsect. If we choOse A famILy $\zEta_1\in {{\MathcAl}M}_1$ aNd $\Zeta_2\iN {{\mathcAl}M}_2$ suCh That $e_1(\zeta_1)=e_2(\zeta_2)$, tHen wE can glue $\zEta_1$ AnD $\zeTa_2$ To obtAIn a morPhiSm $\zEta:B
\rigHtarrow {\OVerLiNE{{\MAtHcal}M}_{0,1}({X,1})}$ such that $\zeta|_{b_1}=\zETA_1$ aNd $\zeta|_{B_2} = \zEta_2$. By lEMmA \[lEM-twisttoGeTheR\], we cONClude That $\ZEtA$ is twistIng. MorEOvEr, If at leaSt One of $\zEtA_i, i=1,2$ Is vEry twIStinG, then $\zEta$ is verY twisTIng. And $\widetildE{\Zeta} = \xi$. This shoWS tHAT $\xI$ Is twIstAble, and it is Very TWistAble IF aT leASt one Of $\xi_i, I=1,2$ iS VeRY twistable.

\[hyp-2\] Let $U \suBsEt {\overLine{{\mAthcal}M}_{0,1}({X,1})}$ denotE
 preimage under $\text{ev} $ of the p oint$p= h_1 (\ sigm a_1) =h_2(\sigma_2) $ . Th e image of $e_i$ is co ntain ed in t h esmoot h locus of $ P$.  T he  cl ai m  i s tha t $ e_i:{{\ mathcal}M} _i\r ightarrow
P$ is  smooth. B y [ @K propositi onI.2.14 .2 ],t he ob str uctio n spac e  at apoint $\z et a _i$ is contain e d  i n th e cohomology grou p  $ H ^1{\left}( B_i ,
\zet a_ i ^* T _{\ tex t{ev}}(-\s ig ma_i) {\right } )$ . B y t h e definitionof a twisti n g f amily,  $ \ze t a_i^*T_{\t ex t {ev }}$ is gene rate d by glob al sec t ions. T h us, bylemma\[l em- gend \ ],  t heco h omo l og y g r oup  above i sze ro. S ince t h e  obs tru ctio n spa ce vanishes,weconc l ude  that  $e_i $ is  s mooth .

Sin ce bo th  $e_1:{{\mathca l}M} _1 \right arr ow  P$  a nd $e _ 2:{{\m ath cal }M}_2
\ rightar r owP$ a r esmooth, both haveno n e mp ty, open  image .  A nd $P$ is i rr edu cibl e by as sump t io n. There fore t h eim age of$e _1$ an dthe  im age o f  $e_ 2$ int ersect.If we choose a famil y  $\zeta_1\in{ {\ m a th c al}M }_1 $ and $\zet a_2\ i n {{ \mat h ca l}M } _2$ s uch t ha t  $ e _1(\zeta_1)=e_2(\ze ta _2)$,thenwe can glue $ \zeta_1$ a n d $\zeta_2 $ to ob t ain a morphism  $\ze ta:B
\righ t arrow {\ overl ine{{\ma thcal}M}_ { 0 ,1}({X,1 })} $ s uch  th a t  $ \zeta|_{B_1}= \ z eta_ 1$  and $\ zet a|_{B_2 } =  \z eta _2$ .By lemma\[lem-tw is tt og et her \], w e  conclud etha t$\z eta$i s twis ting.  Mor eo ve r , i f at le a st o ne o f$\ zeta _i,  i =1,2$  isv ery  twisti ng, then$\z e ta$is  v ery twi sting. And $\ wi detilde{\z et a}= \xi$ . This sho ws that $\xi$ is twista b le, and  it  is v erytwistable  if  at le ast one of  $\xi_ i, i= 1, 2$i s  very t wi sta bl e.

\[hyp- 2 \ ] L et $U  \ subs et {\ov erline{{\mathcal}M } _{0 ,1}({X,1})}$den ote
 preimage_under $\text{ev}$_of the point $p=h_1(\sigma_1)=h_2(\sigma_2)$._The image_of_$e_i$ is_contained_in the smooth_locus of $P$._The claim is that_$e_i:{{\mathcal}M}_i \rightarrow
P$ is_smooth._By [@K proposition I.2.14.2], the obstruction space at a point $\zeta_i$ is contained in_the_cohomology group_$H^1{\left}(_B_i,
\zeta_i^*_T_{\text{ev}}(-\sigma_i) {\right})$. By the definition_of a twisting family, $\zeta_i^*_T_{\text{ev}}$ is_generated by global sections. Thus, by lemma \[lem-gend\], the_cohomology_group above is_zero. Since the obstruction space vanishes, we conclude that_$e_i$ is smooth.

Since both $e_1:{{\mathcal}M}_1 \rightarrow_P$ and $e_2:{{\mathcal}M}_2
\rightarrow_P$_are_smooth, both have nonempty,_open image. And $P$ is irreducible_by assumption. Therefore the image of_$e_1$ and the image of $e_2$ intersect._If we choose a family $\zeta_1\in_{{\mathcal}M}_1$ and $\zeta_2\in {{\mathcal}M}_2$ such_that $e_1(\zeta_1)=e_2(\zeta_2)$,_then we can glue $\zeta_1$_and $\zeta_2$ to_obtain a_morphism $\zeta:B
\rightarrow {\overline{{\mathcal}M}_{0,1}({X,1})}$_such that $\zeta|_{B_1}=\zeta_1$ and $\zeta|_{B_2} =_\zeta_2$. By lemma \[lem-twisttogether\],_we conclude that $\zeta$ is twisting._Moreover,_if at least_one_of_$\zeta_i, i=1,2$_is very twisting,_then_$\zeta$ is_very_twisting. And $\widetilde{\zeta} = \xi$. This_shows_that $\xi$ is twistable, and it is_very twistable if at_least_one of $\xi_i, i=1,2$_is very twistable.

\[hyp-2\] Let $U_\subset {\overline{{\mathcal}M}_{0,1}({X,1})}$ denote