K)^{k^\prime-n+1}$.

To see that we can make this choice we work inside $\mathcal{N}$. For all $1 \leq i \leq q^\prime$, let $\Phi_{r-1, n, \alpha_i}(x^{r-1}, \vec{z})$ be such that for all $x \in N_{r-1}$, $$\mathcal{N} \models \Phi_{r-1, n, \alpha_i}[x, b_1^{r_1}, \ldots, b_{j^\prime}^{r_{j^\prime}}] \textrm{ if and only if } c_{r-1, n}^\mathcal{N}(x)= \alpha_i.$$ For all $1 \leq i \leq q^\prime$, let $W_i= \{ x^{r-1} \mid \Phi_{r-1, n, \alpha_i}(x^{r-1}, b_1^{r_1}, \ldots, b_{j^\prime}^{r_{j^\prime}}) \}$. Comprehension ensures that the $W_i$s exist. For all $1 \leq i \leq q^\prime$ and for all $\sigma \in 2^{K_{n+1}}$, $Z_\sigma^i$ can be chosen to be a finite or cofinite subset of $W_i$. Moreover, the fact that $c_{r-1, n}^\mathcal{M}$ and $c_{r-1, n}^\mathcal{N}$ are $(2^K)^{k^\prime-n+2}$-similar ensures that for all $1 \leq i \leq q^\prime$ we can choose the sequence $\langle Z_\sigma^i \mid \sigma \in 2^{K_{n+1}} \rangle$ to satisfy condition (iii) above.\
Now, for all $1 \leq p \leq K_{n+1}$, let $\bar{b}_p \in N_{r}$ be such that $$\mathcal{N} \models \bar{b}_p= \bigcup_{1 \leq i \leq q^\prime} \bigcup_{^{\sigma \in 2^{K_{n+1}}}_{\textrm{s.t. } \sigma(p)=1}} Z_\sigma^i.$$ This construction ensures that the colourings $c_{r-1, n+1}^{\mathcal{M}}$
K)^{k^\prime - n+1}$. 

 To see that we can make this choice we work inside $ \mathcal{N}$. For all $ 1 \leq i \leq q^\prime$, lease $ \Phi_{r-1, n, \alpha_i}(x^{r-1 }, \vec{z})$ be such that for all $ x \in N_{r-1}$, $ $ \mathcal{N } \models \Phi_{r-1, n, \alpha_i}[x, b_1^{r_1 }, \ldots, b_{j^\prime}^{r_{j^\prime } } ] \textrm { if and merely if } c_{r-1, n}^\mathcal{N}(x)= \alpha_i.$$ For all $ 1 \leq i \leq q^\prime$, let $ W_i= \ { x^{r-1 } \mid \Phi_{r-1, n, \alpha_i}(x^{r-1 }, b_1^{r_1 }, \ldots, b_{j^\prime}^{r_{j^\prime } }) \}$. Comprehension ensures that the $ W_i$s exist. For all $ 1 \leq i \leq q^\prime$ and for all $ \sigma \in 2^{K_{n+1}}$, $ Z_\sigma^i$ can be choose to be a finite or cofinite subset of $ W_i$. Moreover, the fact that $ c_{r-1, n}^\mathcal{M}$ and $ c_{r-1, n}^\mathcal{N}$ are $ (2^K)^{k^\prime - n+2}$-similar ensures that for all $ 1 \leq i \leq q^\prime$ we can choose the succession $ \langle Z_\sigma^i \mid \sigma \in 2^{K_{n+1 } } \rangle$ to satisfy condition (iii) above.\ 
 Now, for all $ 1 \leq phosphorus \leq K_{n+1}$, lease $ \bar{b}_p \in N_{r}$ be such that $ $ \mathcal{N } \models \bar{b}_p= \bigcup_{1 \leq i \leq q^\prime } \bigcup_{^{\sigma \in 2^{K_{n+1}}}_{\textrm{s.t. } \sigma(p)=1 } } Z_\sigma^i.$$ This construction see that the colourings $ c_{r-1, n+1}^{\mathcal{M}}$
K)^{k^\pgime-n+1}$.

To see that we can oake this choicg qe worn insise $\mathcxl{N}$. For all $1 \leq i \leq q^\primx$, ler $\Phi_{e-1, n, \alpha_i}(x^{r-1}, \vec{z})$ be sjch that vor all $z \in B_{r-1}$, $$\mathcal{I} \models \Phi_{r-1, h, \alpka_m}[x, b_1^{r_1}, \ldots, b_{j^\ptime}^{r_{j^\prime}}] \dextrm{ if and mnuy if } c_{r-1, n}^\mathcal{N}(x)= \alpha_i.$$ For all $1 \jeq i \lrq q^\prime$, let $W_i= \{ x^{r-1} \iid \Lhi_{r-1, n, \alpha_i}(x^{r-1}, b_1^{r_1}, \ldots, b_{j^\prime}^{r_{j^\lrime}}) \}$. Bomprehension ensires that the $W_i$s exist. Fog alp $1 \leq i \leq q^\primf$ and for aol $\sytma \in 2^{K_{n+1}}$, $Z_\skgma^i$ can be chosen to be a finite or cofinite subset of $W_n$. Moreover, jkw fwwt that $c_{r-1, i}^\mathcwl{M}$ and $c_{r-1, n}^\mathcal{N}$ are $(2^K)^{k^\lrime-n+2}$-similar cnsurxs tyat for all $1 \leq i \lex q^\prime$ we can chjose the vesuence $\langle Z_\sitmq^i \mig \sicma \kb 2^{K_{v+1}} \rznjle$ to sahishy conditioh (iii) above.\
Bow, for all $1 \leq p \kez K_{n+1}$, let $\bar{b}_p \in N_{r}$ bq such that $$\mathcal{N} \models \bar{b}_p= \bigcuk_{1 \leq i \leq q^\prime} \bigcup_{^{\signa \in 2^{K_{n+1}}}_{\textrm{s.t. } \sigla(p)=1}} Z_\sigmw^i.$$ This construction ensures that the colourings $w_{r-1, n+1}^{\metfcao{M}}$
K)^{k^\prime-n+1}$. To see that we can make we inside $\mathcal{N}$. all $1 \leq n, \vec{z})$ be such for all $x N_{r-1}$, $$\mathcal{N} \models \Phi_{r-1, n, \alpha_i}[x, \ldots, b_{j^\prime}^{r_{j^\prime}}] \textrm{ if and only if } c_{r-1, n}^\mathcal{N}(x)= \alpha_i.$$ For all \leq i \leq q^\prime$, let $W_i= \{ x^{r-1} \mid \Phi_{r-1, n, \alpha_i}(x^{r-1}, b_1^{r_1}, b_{j^\prime}^{r_{j^\prime}}) Comprehension that $W_i$s exist. For all $1 \leq i \leq q^\prime$ and for all $\sigma \in 2^{K_{n+1}}$, $Z_\sigma^i$ be chosen to be a finite or cofinite of $W_i$. Moreover, the that $c_{r-1, n}^\mathcal{M}$ and $c_{r-1, are ensures that all \leq \leq q^\prime$ we choose the sequence $\langle Z_\sigma^i \mid \sigma \in 2^{K_{n+1}} \rangle$ to satisfy condition (iii) above.\ Now, for $1 \leq K_{n+1}$, let \in be that $$\mathcal{N} \models \leq i \leq q^\prime} \bigcup_{^{\sigma \in Z_\sigma^i.$$ This construction ensures that the colourings $c_{r-1,
K)^{k^\prime-n+1}$.

To see that we can makE this choicE we woRk iNsiDe $\MathCal{N}$. for all $1 \leq i \leq q^\PRime$, Let $\Phi_{r-1, n, \alpha_i}(x^{r-1}, \vec{z})$ be Such tHaT For aLL $x \In N_{r-1}$, $$\mAthcal{N} \MOdELS \PhI_{r-1, N, \aLphA_i}[X, B_1^{r_1}, \Ldots, B_{j^\pRime}^{r_{j^\pRime}}] \textrm{ If aNd Only if } c_{r-1, n}^\matHCaL{N}(x)= \alpha_i.$$ FOr aLl $1 \leq i \leq q^\prIme$, Let $W_i= \{ x^{R-1} \mId \PHI_{r-1, n, \alPha_I}(x^{r-1}, b_1^{r_1}, \Ldots, b_{J^\Prime}^{r_{J^\prime}}) \}$. ComPrEHensioN Ensures THAt The $W_I$s exist. For all $1 \leq i \LEq Q^\Prime$ and for all $\Sigma \iN 2^{K_{N+1}}$, $z_\sIGMa^i$ Can Be chosen to Be A finiTE or cofiNItE SUBseT Of $W_i$. Moreover, tHe fact that $c_{R-1, N}^\maThcal{M}$ AnD $c_{r-1, N}^\MathcaL{N}$ are $(2^k)^{k^\PRimE-n+2}$-similar enSureS that for aLl $1 \leq i \LEq q^\primE$ We can chOose thE seQueNce $\lANgLe z_\siGmA^I \miD \SiGma \IN 2^{K_{n+1}} \Rangle$ to SaTiSfy coNditION (IIi) abOve.\
now, fOr all $1 \Leq p \leq K_{n+1}$, let $\bAr{b}_P \in N_{R}$ Be sUch thAt $$\matHcal{n} \mOdels \Bar{b}_p= \bIgcup_{1 \LeQ i \leq q^\prime} \bigcUp_{^{\siGma \in 2^{K_{n+1}}}_{\teXtrM{s.T. } \siGmA(p)=1}} Z_\siGMa^i.$$ ThiS coNstRuction Ensures THat ThE COLoUrings $c_{r-1, n+1}^{\mathcal{M}}$
K)^{k^\prime-n+1}$.

To se e that wecan m ake  th is  cho icewe work inside $\ma thcal{N}$. For all $1\leqi\ leqq ^\ prime $, let$ \P h i _{r -1 ,n,\a l ph a_i}( x^{ r-1}, \ vec{z})$ b e s uc h that for a l l$x \in N_{ r-1 }$, $$\mathc al{ N} \mo de ls\ Phi_{ r-1 , n,\alpha _ i}[x,b_1^{r_1} ,\ ldots, b_{j^\p r i me }^{r _{j^\prime}}] \te x tr m { if and onlyif } c _{ r -1 , n}^ \ma thcal{N}(x )=  \alp h a_i.$$F or a l l $ 1  \leq i \leqq^\prime$,l et$W_i=\{  x^ { r-1} \ mid \ Ph i _{r -1, n, \alp ha_i }(x^{r-1} , b_1^ { r_1}, \ l dots, b _{j^\p rim e}^ {r_{ j ^\ pr ime }} )  \} $ .Com p reh ension e ns ur es th at t h e $ W_i$ s e xist . For  all $1 \leqi \ leqq ^\p rime$  andforal l $\s igma \ in 2^ {K _{n+1}}$, $Z_\s igma ^i$ can b e c ho sen  t o bea  finit e o r c ofinite  subset of$W _ i $ .Moreover, the fact  t h a t$c_{r-1,  n}^\m a th ca l {M}$ and  $ c_{ r-1, n }^\ma thca l {N }$ are $ (2^K)^ { k^ \p rime-n+ 2} $-simi la r e nsu res t h at f or all  $1 \leq  i \l e q q^\prime$ we can choose th e  s e q ue n ce $ \la ngle Z_\sig ma^i \mid  \si g ma  \i n  2^{K _{n+1 }} \r a ngle$ to satisfy co nd ition(iii)  above.\
Now,  for all $ 1 \ leq p \l eq K _ {n + 1}$, let $\bar {b}_p  \in N_{r} $  be such  that  $$\math cal{N} \m o d els \bar {b} _p=  \b igc u p _{ 1 \leq i \leq q ^\pr im e} \big cup _{^{\si gma  \i n 2 ^{K _{ n+1}}}_{\ textrm{s .t .}\s igm a(p)= 1 }} Z_\si gm a^i .$ $ T his c o nstruc tionensu re st hat  the co l ou r i ngs$c _{ r-1,  n+ 1} ^{\ma thca l {M} }$
K)^{k^\prime-n+1}$.

To see_that we_can make this choice_we work_inside_$\mathcal{N}$. For_all_$1 \leq i_\leq q^\prime$, let_$\Phi_{r-1, n, \alpha_i}(x^{r-1}, \vec{z})$_be such that_for_all $x \in N_{r-1}$, $$\mathcal{N} \models \Phi_{r-1, n, \alpha_i}[x, b_1^{r_1}, \ldots, b_{j^\prime}^{r_{j^\prime}}] \textrm{ if_and_only if_}_c_{r-1,_n}^\mathcal{N}(x)= \alpha_i.$$ For all $1_\leq i \leq q^\prime$, let_$W_i= \{_x^{r-1} \mid \Phi_{r-1, n, \alpha_i}(x^{r-1}, b_1^{r_1}, \ldots, b_{j^\prime}^{r_{j^\prime}})_\}$._Comprehension ensures that_the $W_i$s exist. For all $1 \leq i \leq_q^\prime$ and for all $\sigma \in_2^{K_{n+1}}$, $Z_\sigma^i$ can_be_chosen_to be a finite_or cofinite subset of $W_i$. Moreover,_the fact that $c_{r-1, n}^\mathcal{M}$ and_$c_{r-1, n}^\mathcal{N}$ are $(2^K)^{k^\prime-n+2}$-similar ensures that for_all $1 \leq i \leq q^\prime$_we can choose the sequence_$\langle Z_\sigma^i_\mid \sigma \in 2^{K_{n+1}} \rangle$_to satisfy condition_(iii) above.\
Now,_for all $1_\leq p \leq K_{n+1}$, let $\bar{b}_p_\in N_{r}$ be_such that $$\mathcal{N} \models \bar{b}_p= \bigcup_{1_\leq_i \leq q^\prime}_\bigcup_{^{\sigma_\in_2^{K_{n+1}}}_{\textrm{s.t. }_\sigma(p)=1}} Z_\sigma^i.$$ This_construction_ensures that_the_colourings $c_{r-1, n+1}^{\mathcal{M}}$