$. Let $p \vert Q$ be the condition $({\mathcal{M}}_p \cap Q, d_p {\upharpoonright}Q)$. One can check that $p \vert Q$ is indeed a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$.

We first observe the following simple fact.

\[M\_p\] Suppose $p$ is a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$ and $M$ is a model in ${\mathcal{S}}\cup {\mathcal{T}}$ such that $p\in M$. Then there is a condition $p^M$ extending $p$ such that $M$ is the top model of ${\mathcal{M}}_{p^M}$.

We let ${\mathcal{M}}_{p^M}$ be the closure of ${\mathcal{M}}_p \cup \{ M\}$ under intersection. Note that if $M\in {\mathcal{T}}$ then all the nodes of ${\mathcal{M}}_p$ are subsets of $M$ and hence ${\mathcal{M}}_{p^M}$ is simply ${\mathcal{M}}_p \cup \{ M\}$. On the other hand if $M$ is countable we need to add nodes of the form $M\cap W$, where $W$ is a transitive mode in ${\mathcal{M}}_p$. We define $d_{qp^M}$ by letting $d_{p^M}(N)=d_p(N)$, if $N\in {\mathcal{M}}_p$, and $d_{p^M}(N)=\emptyset$, if $N$ is one of the new nodes. It is straightforward to check that $p^M$ is as desired.

The main technical results about the (decorated) side condition poset are Corollaries 2.31 and 2.32 together with Claim 2.38 in [@Neeman]. We combine them here as one lemma.

\[scl\] Let $p$ be a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$, and let $Q$ be a node in ${\mathcal{M}}_p$. Suppose that $q$ is a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$ which belongs to $Q$ and strengthens the condition $p \vert Q$. Then there is $r \in
$. Let $ p \vert Q$ be the condition $ ({ \mathcal{M}}_p \cap Q, d_p { \upharpoonright}Q)$. One can check that $ phosphorus \vert Q$ is indeed a circumstance in $ { \mathbb{M}}^{\rm dec}_{{\mathcal{S } }, { \mathcal{T}}}$. 

 We foremost observe the following simple fact. 

 \[M\_p\ ] speculate $ p$ is a condition in $ { \mathbb{M}}^{\rm dec}_{{\mathcal{S } }, { \mathcal{T}}}$ and $ M$ is a model in $ { \mathcal{S}}\cup { \mathcal{T}}$ such that $ p\in M$. Then there be a circumstance $ p^M$ extending $ p$ such that $ M$ is the top model of $ { \mathcal{M}}_{p^M}$. 

 We let $ { \mathcal{M}}_{p^M}$ be the closure of $ { \mathcal{M}}_p \cup \ { M\}$ under intersection. notice that if $ M\in { \mathcal{T}}$ then all the nodes of $ { \mathcal{M}}_p$ are subsets of $ M$ and hence $ { \mathcal{M}}_{p^M}$ is simply $ { \mathcal{M}}_p \cup \ { M\}$. On the early hand if $ M$ is countable we need to lend nodes of the form $ M\cap W$, where $ W$ is a transitive manner in $ { \mathcal{M}}_p$. We define $ d_{qp^M}$ by letting $ d_{p^M}(N)=d_p(N)$, if $ N\in { \mathcal{M}}_p$, and $ d_{p^M}(N)=\emptyset$, if $ N$ is one of the new node. It is straightforward to check that $ p^M$ is as desired. 

 The main technical consequence about the (decorated) side condition poset are Corollaries 2.31 and 2.32 together with Claim 2.38 in [ @Neeman ]. We combine them here as one lemma. 

 \[scl\ ] lease $ p$ be a condition in $ { \mathbb{M}}^{\rm dec}_{{\mathcal{S } }, { \mathcal{T}}}$, and let $ Q$ be a node in $ { \mathcal{M}}_p$. Suppose that $ q$ is a condition in $ { \mathbb{M}}^{\rm dec}_{{\mathcal{S } }, { \mathcal{T}}}$ which belongs to $ Q$ and strengthens the condition $ p \vert Q$. Then there is $ r \in
$. Leh $p \vert Q$ be the conditlon $({\mathcal{M}}_p \cak W, d_p {\u'harpoohright}Q)$. Une can check that $p \vert Q$ ms ibdeed a condition in ${\mathbb{O}}^{\rm dec}_{{\manhcal{S}}, {\marhcao{R}}}$.

We first observe bke fompowiug simple fact.

\[M\_p\] Suppose $p$ is a conditiot kn ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$ and $M$ is a mldel in ${\mathcaj{S}}\cuk {\mwthczl{T}}$ such that $p\in M$. Then there is z condiuion $p^M$ extending $l$ such that $M$ is the top mldel of ${\mathcal{M}}_{p^M}$.

We lft ${\mathcal{M}}_{k^J}$ bq the closure of ${\mathcal{M}}_p \cup \{ M\}$ uhder intersection. Note that if $O\in {\mcthcal{T}}$ theb qll jhe nodes of ${\mathbal{M}}_p$ are subsets of $K$ and hrnce ${\mathcal{M}}_{p^K}$ iv sumply ${\mathcal{M}}_p \cup \{ K\}$. On the other hanq if $M$ is ckuntable we need ro add todev of rhe fodm $M\dap W$, ahece $W$ is a tdansitive mide in ${\mathcal{M}}_p$. We dqdine $d_{qp^M}$ by mettind $q_{p^M}(N)=d_p(N)$, if $N\in {\mathcal{M}}_p$, and $d_{p^M}(N)=\emptystt$, if $N$ is one of the new noees. It is straightforaard to creck that $p^M$ is as desired.

The main technical resunts auojt uhc (awclrated) side condition poset are Corollaries 2.31 whd 2.32 nogether with Clalm 2.38 in [@Neeman]. We cpmhimg them here as one lzjmz.

\[scl\] Let $p$ be a cojdition in ${\mqthbb{M}}^{\rm qec}_{{\msthcal{S}}, {\mathcal{T}}}$, and let $Q$ ve a node in ${\nathcal{M}}_p$. Suppose chat $q$ is a eonditoon im ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\matgcal{T}}}$ which belongs fu $Q$ and strengthdns tve condiukon $p \vert Q$. Then there is $r \iu
$. Let $p \vert Q$ be the \cap d_p {\upharpoonright}Q)$. can check that a in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, We first observe following simple fact. \[M\_p\] Suppose $p$ a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$ and $M$ is a model in ${\mathcal{S}}\cup such that $p\in M$. Then there is a condition $p^M$ extending $p$ such $M$ the model ${\mathcal{M}}_{p^M}$. We let ${\mathcal{M}}_{p^M}$ be the closure of ${\mathcal{M}}_p \cup \{ M\}$ under intersection. Note that $M\in {\mathcal{T}}$ then all the nodes of ${\mathcal{M}}_p$ subsets of $M$ and ${\mathcal{M}}_{p^M}$ is simply ${\mathcal{M}}_p \cup M\}$. the other if is we need to nodes of the form $M\cap W$, where $W$ is a transitive mode in ${\mathcal{M}}_p$. We define $d_{qp^M}$ letting $d_{p^M}(N)=d_p(N)$, {\mathcal{M}}_p$, and if is of the new is straightforward to check that $p^M$ The main technical results about the (decorated) side poset are 2.31 and 2.32 together with Claim in [@Neeman]. We combine them here as one \[scl\] Let $p$ be a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$, and let $Q$ be a ${\mathcal{M}}_p$. Suppose that $q$ a condition in dec}_{{\mathcal{S}}, which to and strengthens condition $p \vert Q$. Then there is $r \in
$. Let $p \vert Q$ be the condition $({\maThcal{M}}_p \cap q, d_p {\upHarPooNrIght}q)$. One Can check that $p \vERt Q$ iS indeed a condition in ${\matHbb{M}}^{\rM dEC}_{{\matHCaL{S}}, {\matHcal{T}}}$.

We FIrST ObsErVe The FoLLoWing sImpLe fact.

\[M\_P\] Suppose $p$ iS a cOnDition in ${\mathBB{M}}^{\Rm dec}_{{\mathcAl{S}}, {\Mathcal{T}}}$ and $M$ Is a Model iN ${\mAthCAl{S}}\cuP {\maThcal{t}}$ such tHAt $p\in M$. then there Is A ConditIOn $p^M$ extENDiNg $p$ sUch that $M$ is the top mODeL Of ${\mathcal{M}}_{p^M}$.

We Let ${\matHcAL{M}}_{P^m}$ Be tHe cLosure of ${\maThCal{M}}_p \CUp \{ M\}$ undeR InTERSecTIon. Note that if $m\in {\mathcal{T}}$ THen All the NoDes OF ${\mathcAl{M}}_p$ aRe SUbsEts of $M$ and heNce ${\mAthcal{M}}_{p^M}$ Is simpLY ${\mathcaL{m}}_p \cup \{ M\}$. ON the otHer HanD if $M$ IS cOuNtaBlE We nEEd To aDD noDes of the FoRm $m\cap W$, WherE $w$ IS A traNsiTive Mode iN ${\mathcal{M}}_p$. We dEfiNe $d_{qP^m}$ by LettiNg $d_{p^M}(n)=d_p(N)$, If $n\in {\maThcal{M}}_P$, and $d_{P^M}(n)=\emptyset$, if $N$ is oNe of The new nodEs. IT iS stRaIghtfORward tO chEck That $p^M$ iS as desiREd.

THe MAIN tEchnical results aboUt THE (dEcorated) Side coNDiTiON poset arE COroLlarIES 2.31 and 2.32 tOgetHEr With ClaiM 2.38 in [@NeeMAn]. we Combine ThEm here As One LemMa.

\[scl\] lEt $p$ bE a condItion in ${\mAthbb{m}}^{\Rm dec}_{{\mathcal{S}}, {\mAThcal{T}}}$, and let $Q$ BE a NODe IN ${\matHcaL{M}}_p$. Suppose tHat $q$ IS a coNditIOn In ${\mAThbb{M}}^{\Rm dec}_{{\MaTHcAL{S}}, {\mathcal{T}}}$ which beloNgS to $Q$ anD streNgthens the conDition $p \verT q$. tHen there Is $r \iN
$. Let $p \vert Q$ be thecondition$({\m ath cal {M }}_p  \ca p Q, d_p {\uph a rpoo nright}Q)$. One can ch eck t ha t  $p\ ve rt Q$  is ind e ed a  co nd it ion  i n  $ {\mat hbb {M}}^{\ rm dec}_{{ \ma th cal{S}}, {\m a th cal{T}}}$. 

W e first obse rve  the f ol low i ng si mpl e fac t.

\[ M \_p\]Suppose $ p$ is a c o ndition i n${\m athbb{M}}^{\rm de c }_ { {\mathcal{S}},  {\mat hc a l{ T } }}$  an d $M$ is a  m odeli n ${\ma t hc a l { S}} \ cup {\mathcal {T}}$ sucht hat  $p\in  M $.T hen th ere i sa  co ndition $p^ M$ e xtending$p$ su c h that$ M$ is t he top  mo del  of$ {\ ma thc al { M}} _ {p ^M} $ .
We let $ {\ ma thcal {M}} _ { p ^ M}$betheclosu re of ${\math cal {M}} _ p \ cup \ { M\} $ un de r int ersect ion.No te that if $M\i n {\ mathcal{T }}$  t hen  a ll th e  nodes  of  ${ \mathca l{M}}_p $  ar es u b se ts of $M$ and henc e$ { \m athcal{M }}_{p^ M }$  i s  simply${ \ma thca l { M}}_p  \cu p  \ { M\}$.On the ot he r handif  $M$ i scou nta ble w e  nee d to a dd nodes  of t h e form $M\capW $, where $W$i sa tr a nsit ive  mode in ${ \mat h cal{ M}}_ p $.  We defin e $d_ {q p ^M } $ by letting $d_{p^ M} (N)=d_ p(N)$ , if $N\in {\ mathcal{M} } _ p $, and $ d_{p ^ M} ( N)=\emptyset$,  if $ N$ is oneo f the ne w nod es. It i s straigh t f orward t o c hec k t hat $ p^ M$ is as desi r e d.
Th e maintec hnicalres ult s a bou tthe (deco rated) s id eco nd iti on po s et are C or oll ar ies  2.31 and 2. 32 to geth er  w i thClaim 2 . 38 i n [@ Ne em an].  We  c ombin e th e m h ere asone lemma .
\ [scl \]  L et $p$be a conditio nin ${\math bb {M} }^{\rm d ec}_{{\m athcal{S}}, {\mathcal{T } }}$, an d l et $Q $ be  a node i n $ {\math cal { M}}_p$ . Supp ose t ha t $ q $  is a c on dit io n in ${\ma t h bb{ M}}^{ \r m de c}_{{\m athcal{S}}, {\math c al{ T}}}$ which b elo ngst o  $ Q$a nd str en g the n s  the condition$p \vert Q $. Th en there i s  $r  \ in
$. Let_$p \vert_Q$ be the condition_$({\mathcal{M}}_p \cap_Q,_d_p {\upharpoonright}Q)$._One_can check that_$p \vert Q$_is indeed a condition_in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}},_{\mathcal{T}}}$.

We_first observe the following simple fact.

\[M\_p\] Suppose $p$ is a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}},_{\mathcal{T}}}$_and $M$_is_a_model in ${\mathcal{S}}\cup {\mathcal{T}}$ such_that $p\in M$. Then there_is a_condition $p^M$ extending $p$ such that $M$ is_the_top model of_${\mathcal{M}}_{p^M}$.

We let ${\mathcal{M}}_{p^M}$ be the closure of ${\mathcal{M}}_p \cup_\{ M\}$ under intersection. Note that_if $M\in {\mathcal{T}}$_then_all_the nodes of ${\mathcal{M}}_p$_are subsets of $M$ and hence_${\mathcal{M}}_{p^M}$ is simply ${\mathcal{M}}_p \cup \{_M\}$. On the other hand if $M$_is countable we need to add_nodes of the form $M\cap_W$, where_$W$ is a transitive mode_in ${\mathcal{M}}_p$. We_define $d_{qp^M}$_by letting $d_{p^M}(N)=d_p(N)$,_if $N\in {\mathcal{M}}_p$, and $d_{p^M}(N)=\emptyset$, if_$N$ is one_of the new nodes. It is_straightforward_to check that_$p^M$_is_as desired.

The_main technical results_about_the (decorated)_side_condition poset are Corollaries 2.31 and_2.32_together with Claim 2.38 in [@Neeman]. We_combine them here as_one_lemma.

\[scl\] Let $p$ be_a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}},_{\mathcal{T}}}$, and let $Q$ be a_node in_${\mathcal{M}}_p$. Suppose_that $q$ is a condition in ${\mathbb{M}}^{\rm dec}_{{\mathcal{S}}, {\mathcal{T}}}$ which belongs_to $Q$ and strengthens the condition_$p \vert Q$. Then_there is_$r_\in