j$. Now we choose two (names of) functions $\dot{h}_1$ and $\dot{h}_2$ witnessing normality as follows:

-   For each $j\in\omega$ and each $i\in 2$, let $\dot{W}^i_j=\bigcup\{\dot{U}(\xi,h_i(\xi)):\xi\in \dot{f}^{-1}(j)\}$,

-   the $\{\dot{W}^1_j:j\in\omega\}$ form a discrete family,

-   the closure of $\dot{W}^2_j$ is included in $\dot{W}^1_j$.

Choose any countable elementary submodel $M$ with all the above as members of $M$, such that $\delta = M\cap\omega_1$ is an element of $C_1$. We know that there is a name of an integer $\dot{J}_\delta$ satisfying that it is forced that $\dot{U}(\delta,0)\cap\dot{W}_j$ is empty for all $j\geq\dot{J}_\delta$. Choose any $s\in S$ of height at least $\delta^+(C_1)$ that decides a value $J$ for $\dot{J}_\delta$. Let $\bar{s} = s\upharpoonright\delta^+(C_1)$. Notice that $\bar{s}$ decides the truth value of the equation “$\dot{U}(\delta,0)\cap\dot{B}_\alpha=\emptyset$”, for all $\alpha\in M$. For each $n,j\in\omega$, $s$ and hence $s\upharpoonright\delta$ forces that the closure of $\dot{W}^2_j\cap \dot{B}_n$ is included in $\dot{W}^1_j$. By elementarity and compactness, this implies there is a finite $\dot{F}_{j,n}\subseteq\delta$ such that $s\upharpoonright\delta$ forces that $\dot{W}^2_j\cap \dot{B}_n\subseteq\bigcup\{\dot{B}_\eta:\eta\in \dot{F}_{j,n}\}\subseteq\dot{W}^1_j$. But now $\bar{s}$ forces $\dot{U}(\delta,0)\cap(\bigcup
j$. Now we choose two (names of) functions $ \dot{h}_1 $ and $ \dot{h}_2 $ witnessing normality as follows: 

 -    For each $ j\in\omega$ and each $ i\in 2 $, lease $ \dot{W}^i_j=\bigcup\{\dot{U}(\xi, h_i(\xi)):\xi\in \dot{f}^{-1}(j)\}$, 

 -    the $ \{\dot{W}^1_j: j\in\omega\}$ imprint a discrete family, 

 -    the closure of $ \dot{W}^2_j$ is included in $ \dot{W}^1_j$. 

 Choose any countable elementary submodel $ M$ with all the above as member of $ M$, such that $ \delta = M\cap\omega_1 $ is an element of $ C_1$. We know that there be a name of an integer $ \dot{J}_\delta$ satisfy that it is forced that $ \dot{U}(\delta,0)\cap\dot{W}_j$ is empty for all $ j\geq\dot{J}_\delta$. Choose any $ s\in S$ of height at least $ \delta^+(C_1)$ that decides a value $ J$ for $ \dot{J}_\delta$. Let $ \bar{s } = s\upharpoonright\delta^+(C_1)$. poster that $ \bar{s}$ decides the truth value of the equality “ $ \dot{U}(\delta,0)\cap\dot{B}_\alpha=\emptyset$ ”, for all $ \alpha\in M$. For each $ n, j\in\omega$, $ s$ and hence $ s\upharpoonright\delta$ forces that the closure of $ \dot{W}^2_j\cap \dot{B}_n$ is included in $ \dot{W}^1_j$. By elementarity and compactness, this implies there is a finite $ \dot{F}_{j, n}\subseteq\delta$ such that $ s\upharpoonright\delta$ effect that $ \dot{W}^2_j\cap \dot{B}_n\subseteq\bigcup\{\dot{B}_\eta:\eta\in \dot{F}_{j, n}\}\subseteq\dot{W}^1_j$. But now $ \bar{s}$ forces $ \dot{U}(\delta,0)\cap(\bigcup
j$. Nlw we choose two (names on) functions $\dot{h}_1$ and $\dov{h}_2$ witnsssing nurmality as follows:

-   For earh $j\un\ometa$ and each $i\in 2$, let $\dut{W}^i_j=\bigclp\{\dot{U}(\xi,h_u(\xi)):\xm\in \dot{f}^{-1}(j)\}$,

-   the $\{\vkt{W}^1_j:j\in\omega\}$ rlrm c viscrete family,

-   the clovure of $\dot{W}^2_j$ hs iucluded in $\dot{W}^1_j$.

Choose any countable elemenyagy submodel $M$ rith wll fhe above as members of $M$, such thaf $\delta = M\cap\omega_1$ ix an element of $C_1$. We know hhat there is a name ov an integet $\doe{H}_\delta$ satiswying that it is forces that $\dot{U}(\delta,0)\cap\dot{W}_j$ is empgy fox all $j\geq\dit{H}_\depja$. Choose anb $s\in F$ of height at least $\delta^+(C_1)$ that decides s velue $J$ for $\dot{J}_\delta$. Let $\uar{s} = s\upharpoonrighj\delta^+(C_1)$. Nodiee that $\bar{s}$ decides rhw trujh vanue ud tfe tquetikn “$\dot{K}(\demta,0)\cap\dot{B}_\zlpha=\emptyswt$”, for all $\alpha\in K$. Sir each $n,j\in\ojega$, $s$ agd hence $s\upharpoonright\delta$ forces thdt fhe closure of $\dot{W}^2_j\cap \dot{B}_n$ is included in $\dot{W}^1_j$. By elementarity and compactness, this implies there hs a hivitt $\eot{F}_{j,v}\wuhseteq\delta$ such that $s\upharpoonright\delta$ fowdex nhat $\dot{W}^2_j\cap \dot{N}_n\subseteq\bigcup\{\doy{B}_\fts:\gta\in \dot{F}_{j,n}\}\sucseteq\bkt{S}^1_j$. But now $\bar{s}$ fogces $\doj{U}(\deltq,0)\cap(\bigcuk
j$. Now we choose two (names of) and witnessing normality follows: - For 2$, $\dot{W}^i_j=\bigcup\{\dot{U}(\xi,h_i(\xi)):\xi\in \dot{f}^{-1}(j)\}$, - $\{\dot{W}^1_j:j\in\omega\}$ form a family, - the closure of $\dot{W}^2_j$ included in $\dot{W}^1_j$. Choose any countable elementary submodel $M$ with all the above members of $M$, such that $\delta = M\cap\omega_1$ is an element of $C_1$. know there a of an integer $\dot{J}_\delta$ satisfying that it is forced that $\dot{U}(\delta,0)\cap\dot{W}_j$ is empty for all $j\geq\dot{J}_\delta$. any $s\in S$ of height at least $\delta^+(C_1)$ decides a value $J$ $\dot{J}_\delta$. Let $\bar{s} = s\upharpoonright\delta^+(C_1)$. that decides the value the “$\dot{U}(\delta,0)\cap\dot{B}_\alpha=\emptyset$”, for all M$. For each $n,j\in\omega$, $s$ and hence $s\upharpoonright\delta$ forces that the closure of $\dot{W}^2_j\cap \dot{B}_n$ is included $\dot{W}^1_j$. By compactness, this there a $\dot{F}_{j,n}\subseteq\delta$ such that that $\dot{W}^2_j\cap \dot{B}_n\subseteq\bigcup\{\dot{B}_\eta:\eta\in \dot{F}_{j,n}\}\subseteq\dot{W}^1_j$. But now
j$. Now we choose two (names of) funCtions $\dot{h}_1$ And $\doT{h}_2$ wItnEsSing NormAlity as follows:

-   fOr eaCh $j\in\omega$ and each $i\in 2$, leT $\dot{W}^I_j=\BIgcuP\{\DoT{U}(\xi,h_I(\xi)):\xi\in \DOt{F}^{-1}(J)\}$,

-   The $\{\DoT{W}^1_J:j\iN\oMEgA\}$ form A diScrete fAmily,

-   the clOsuRe Of $\dot{W}^2_j$ is incLUdEd in $\dot{W}^1_j$.

CHooSe any countabLe eLementArY suBModel $m$ wiTh all The aboVE as memBers of $M$, suCh THat $\delTA = M\cap\omEGA_1$ iS an eLement of $C_1$. We know thAT tHEre is a name of an IntegeR $\dOT{J}_\DELta$ SatIsfying thaT iT is foRCed that $\DOt{u}(\DELta,0)\CAp\dot{W}_j$ is emptY for all $j\geq\DOt{J}_\Delta$. CHoOse ANy $s\in S$ Of heiGhT At lEast $\delta^+(C_1)$ tHat dEcides a vaLue $J$ foR $\Dot{J}_\delTA$. Let $\bar{S} = s\uphaRpoOnrIght\DElTa^+(c_1)$. NoTiCE thAT $\bAr{s}$ DEciDes the trUtH vAlue oF the EQUATion “$\Dot{u}(\delTa,0)\cap\Dot{B}_\alpha=\emptYseT$”, for ALl $\aLpha\iN M$. For Each $N,j\In\omeGa$, $s$ and Hence $S\uPharpoonright\deLta$ fOrces that The ClOsuRe Of $\dot{w}^2_J\cap \doT{B}_n$ Is iNcluded In $\dot{W}^1_j$. bY elEmENTArIty and compactness, tHiS IMpLies therE is a fiNItE $\dOT{F}_{j,n}\subsEtEq\dElta$ SUCh thaT $s\upHArPoonrighT\delta$ FOrCeS that $\doT{W}^2_J\cap \doT{B}_N\suBseTeq\biGCup\{\dOt{B}_\eta:\Eta\in \dot{f}_{j,n}\}\suBSeteq\dot{W}^1_j$. But nOW $\bar{s}$ forces $\doT{u}(\dELTa,0)\CAp(\biGcuP
j$. Now we choose two (nam es of) fun ction s $ \do t{ h}_1 $ an d $\dot{h}_2$w itne ssing normality as fol lows: 
-    F o reach$j\in\o m eg a $  an dea ch$i \ in  2$,let  $\dot{ W}^i_j=\bi gcu p\ {\dot{U}(\xi , h_ i(\xi)):\x i\i n \dot{f}^{- 1}( j)\}$, 
- the $ \{\ dot{W }^1_j: j \in\om ega\}$ fo rm a disc r ete fam i l y, 

-  the closure of$ \d o t{W}^2_j$ is i nclude di n$ \ dot {W} ^1_j$.

Ch oo se an y  counta b le e l eme n tary submodel  $M$ with a l l t he abo ve  as member s of$M $ , s uch that $\ delt a = M\cap \omega _ 1$ is a n  elemen t of $ C_1 $.We k n ow  t hat  t h ere is  an ame  of an i nt eg er $\ dot{ J } _ \ delt a$sati sfyin g that it isfor cedt hat  $\do t{U}( \del ta ,0)\c ap\dot {W}_j $is empty for al l $j \geq\dot{ J}_ \d elt a$ . Cho o se any  $s \in  S$ ofheighta t l ea s t $\ delta^+(C_1)$ that  d e c id es a val ue $J$ fo r$ \dot{J}_ \d elt a$.L e t $\b ar{s }  =  s\uphar poonri g ht \d elta^+( C_ 1)$. N ot ice  th at $\ b ar{s }$ dec ides the  trut h  value of thee quation “$\do t {U } ( \d e lta, 0)\ cap\dot{B}_ \alp h a=\e mpty s et $”, for a ll $\ al p ha \ in M$. For each $n, j\ in\ome ga$,$s$ and hence  $s\upharp o o n right\de lta$ fo r ces that the c losur e of $\dot { W}^2_j\c ap \d ot{B}_n$  is inclu d e d in $\d ot{ W}^ 1_j $.B y  e lementarity a n d  com pa ctness,  th is impl ies  th ere  is  a  finite $ \dot{F}_ {j ,n }\ su bse teq\d e lta$ suc htha t$s\ uphar p oonrig ht\de lta$  f or c esthat $\ d ot { W }^2_ j\ ca p \d ot{ B} _n\su bset e q\b igcup\{ \dot{B}_\ eta : \eta \i n\dot{F} _{j,n}\}\subs et eq\dot{W}^ 1_ j$.  But n o w  $\bar{s }$ forces $\dot{U}(\del t a,0)\ca p(\ bigcu p
j$. Now_we choose_two (names of) functions_$\dot{h}_1$ and_$\dot{h}_2$_witnessing normality_as_follows:

-  _For each $j\in\omega$_and each $i\in 2$,_let $\dot{W}^i_j=\bigcup\{\dot{U}(\xi,h_i(\xi)):\xi\in \dot{f}^{-1}(j)\}$,

-__ the $\{\dot{W}^1_j:j\in\omega\}$ form a discrete family,

-   the closure of $\dot{W}^2_j$ is_included_in $\dot{W}^1_j$.

Choose_any_countable_elementary submodel $M$ with all_the above as members of_$M$, such_that $\delta = M\cap\omega_1$ is an element of_$C_1$._We know that_there is a name of an integer $\dot{J}_\delta$ satisfying_that it is forced that $\dot{U}(\delta,0)\cap\dot{W}_j$_is empty for_all_$j\geq\dot{J}_\delta$._Choose any $s\in S$_of height at least $\delta^+(C_1)$ that_decides a value $J$ for $\dot{J}_\delta$._Let $\bar{s} = s\upharpoonright\delta^+(C_1)$. Notice that $\bar{s}$_decides the truth value of the_equation “$\dot{U}(\delta,0)\cap\dot{B}_\alpha=\emptyset$”, for all $\alpha\in_M$. For_each $n,j\in\omega$, $s$ and hence_$s\upharpoonright\delta$ forces that_the closure_of $\dot{W}^2_j\cap \dot{B}_n$_is included in $\dot{W}^1_j$. By elementarity_and compactness, this_implies there is a finite $\dot{F}_{j,n}\subseteq\delta$_such_that $s\upharpoonright\delta$ forces_that_$\dot{W}^2_j\cap_\dot{B}_n\subseteq\bigcup\{\dot{B}_\eta:\eta\in \dot{F}_{j,n}\}\subseteq\dot{W}^1_j$._But now $\bar{s}$_forces_$\dot{U}(\delta,0)\cap(\bigcup