j,n})$ realizes the $A$-invariant type $p_1
  \otimes \cdots \otimes p_n$ over $A'q_0 \subseteq
  {\operatorname{dcl}}(q_0,a_{1,1},\ldots,a_{j-1,n}A)$. Applying Lemma \[shuffle-chaos\], we find a small model $M \supseteq A'$ and a non-constant global $M$-invariant type $r$ such that $$(a_{j,1},\ldots,a_{j,n},q_0) \models p_1 \otimes \cdots \otimes
    p_n \otimes r|M.$$ The type $r$ extends ${\operatorname{tp}}(q_0/M)$ and therefore lives in the $M$-definable set $Q$. By Lemma \[coheir-magic-1\], it follows that $${\operatorname{tp}}(a_{j,1},\ldots,a_{j,n},q_0/M)$$ is broad, as a type in $X_1 \times \cdots \times X_n \times Q$. This contradicts Lemma \[expander\]: the $X_i, P, Q$ are all $M$-definable, the type of $(a_{j,1},\ldots,a_{j,n},q_0)$ over $M$ is broad, the tuple $(a_{j,1},\ldots,a_{j,n})$ lives on $P$, and for $$s = a_{j,1} + \cdots + a_{j,n} + q_0 = s_j + q_0,$$ we have $$q_0 \in {\operatorname{acl}}(A',s_j + q_0) \subseteq {\operatorname{acl}}(sM). \qedhere$$

\[stacking\] Let $Y$ be a critical set and $Q_1, \ldots, Q_n$ be quasi-minimal. Then for every $m$ there exist $\{q_{i,j}\}_{i \in [n], j \in [m]}$ such that

-   For fixed $i \in [n]$, the sequence $q_{i,1},\ldots,q_{i,m}$ consists of $m$ distinct elements of $Q_i$.

-   The intersection $$\bigcap_{\eta : [n]
j, n})$ realizes the $ A$ -invariant type $ p_1 
   \otimes \cdots \otimes p_n$ over $ A'q_0 \subseteq 
   { \operatorname{dcl}}(q_0,a_{1,1},\ldots, a_{j-1,n}A)$. Applying Lemma   \[shuffle - chaos\ ], we find a humble exemplar $ M \supseteq A'$ and a non - constant global $ M$-invariant character $ r$ such that $ $ (a_{j,1},\ldots, a_{j, n},q_0) \models p_1 \otimes \cdots \otimes 
     p_n \otimes r|M.$$ The type $ r$ extends $ { \operatorname{tp}}(q_0 / M)$ and therefore be in the $ M$-definable set $ Q$. By Lemma   \[coheir - magic-1\ ], it follows that $ $ { \operatorname{tp}}(a_{j,1},\ldots, a_{j, n},q_0 / M)$$ is wide, as a type in $ X_1 \times \cdots \times X_n \times Q$. This contradicts Lemma   \[expander\ ]: the $ X_i, phosphorus, Q$ are all $ M$-definable, the type of $ (a_{j,1},\ldots, a_{j, n},q_0)$ over $ M$ is broad, the tuple $ (a_{j,1},\ldots, a_{j, n})$ lives on $ P$, and for $ $ s = a_{j,1 } + \cdots + a_{j, n } + q_0 = s_j + q_0,$$ we accept $ $ q_0 \in { \operatorname{acl}}(A',s_j + q_0) \subseteq { \operatorname{acl}}(sM). \qedhere$$ 

 \[stacking\ ] Let $ Y$ be a critical set and $ Q_1, \ldots, Q_n$ be quasi - minimal. Then for every $ m$ there exist $ \{q_{i, j}\}_{i \in [ n ], j \in [ m]}$ such that 

 -    For fixed $ i \in [ n]$, the sequence $ q_{i,1},\ldots, q_{i, m}$ dwell of $ m$ distinct elements of $ Q_i$. 

 -    The intersection $ $ \bigcap_{\eta: [ n ]
j,n})$ gealizes the $A$-invariant uype $p_1
  \otimes \cdots \otikes p_n$ over $A'q_0 \subseteq
  {\operatorname{dcl}}(q_0,a_{1,1},\pdits,a_{j-1,b}A)$. Applying Lemma \[shuffue-chaos\], wv find a wmalo model $M \snlseteq A'$ and z non-eoistant global $M$-lnvariant tfpe $r$ such thad $$(x_{j,1},\pdots,a_{j,n},q_0) \models p_1 \otimes \cdots \otiies
    l_n \otimes r|M.$$ The typt $r$ extsnds ${\operatorname{tp}}(q_0/M)$ and therefors lives in the $M$-defimable set $Q$. By Lemma \[coheir-lagif-1\], it follows that $${\lperatornamg{fp}}(a_{t,1},\odots,a_{j,n},q_0/M)$$ ir broad, as a type in $X_1 \times \cdots \times X_n \times Q$. Tfis cpntradicts Lwmmw \[gxpander\]: the $X_i, P, Q$ are all $M$-definabla, the tupe of $(a_{j,1},\ldots,s_{j,n},x_0)$ ocer $M$ is broad, the tu'le $(a_{j,1},\ldots,a_{j,n})$ lives on $P$, and fkr $$s = a_{j,1} + \cdots + q_{j,b} + q_0 = s_j + q_0,$$ wd haxe $$s_0 \mn {\kperatlrneme{acl}}(A',s_j + s_0) \subseteq {\iperatorname{acl}}(sM). \qtdhqgr$$

\[stacking\] Lef $Y$ be a critical set and $Q_1, \ldots, Q_n$ be quasi-mitimzl. Then for every $m$ theee exist $\{q_{i,j}\}_{i \in [n], j \ln [m]}$ such that

-   For fixed $i \in [n]$, the sequence $q_{i,1},\ldots,q_{i,m}$ wonsiags if $o$ dlstinct elements of $Q_i$.

-   The intersection $$\bigszp_{\tta : [n]
j,n})$ realizes the $A$-invariant type $p_1 \otimes p_n$ $A'q_0 \subseteq Applying Lemma \[shuffle-chaos\], $M A'$ and a global $M$-invariant type such that $$(a_{j,1},\ldots,a_{j,n},q_0) \models p_1 \otimes \otimes p_n \otimes r|M.$$ The type $r$ extends ${\operatorname{tp}}(q_0/M)$ and therefore lives in $M$-definable set $Q$. By Lemma \[coheir-magic-1\], it follows that $${\operatorname{tp}}(a_{j,1},\ldots,a_{j,n},q_0/M)$$ is broad, as type $X_1 \cdots X_n \times Q$. This contradicts Lemma \[expander\]: the $X_i, P, Q$ are all $M$-definable, the type $(a_{j,1},\ldots,a_{j,n},q_0)$ over $M$ is broad, the tuple $(a_{j,1},\ldots,a_{j,n})$ on $P$, and for = a_{j,1} + \cdots + + = s_j q_0,$$ have \in {\operatorname{acl}}(A',s_j + \subseteq {\operatorname{acl}}(sM). \qedhere$$ \[stacking\] Let $Y$ be a critical set and $Q_1, \ldots, Q_n$ be quasi-minimal. Then every $m$ $\{q_{i,j}\}_{i \in j [m]}$ that - For \in [n]$, the sequence $q_{i,1},\ldots,q_{i,m}$ consists elements of $Q_i$. - The intersection $$\bigcap_{\eta :
j,n})$ realizes the $A$-invariant tyPe $p_1
  \otimes \cDots \oTimEs p_N$ oVer $A'Q_0 \subSeteq
  {\operatornAMe{dcL}}(q_0,a_{1,1},\ldots,a_{j-1,n}A)$. Applying LeMma \[shUfFLe-chAOs\], We finD a small MOdEL $m \suPsEtEq A'$ AnD A nOn-conStaNt globaL $M$-invarianT tyPe $R$ such that $$(a_{j,1},\lDOtS,a_{j,n},q_0) \modelS p_1 \oTimes \cdots \otImeS
    p_n \otiMeS r|M.$$ tHe typE $r$ eXtendS ${\operaTOrname{Tp}}(q_0/M)$ and thErEFore liVEs in the $m$-DEfInabLe set $Q$. By Lemma \[coheIR-mAGic-1\], it follows thAt $${\operAtORnAME{tp}}(A_{j,1},\lDots,a_{j,n},q_0/M)$$ iS bRoad, aS A type in $x_1 \TiMES \CdoTS \times X_n \times q$. This contraDIctS Lemma \[ExPanDEr\]: the $X_I, P, Q$ arE aLL $M$-dEfinable, the Type Of $(a_{j,1},\ldots,A_{j,n},q_0)$ ovER $M$ is broAD, the tupLe $(a_{j,1},\ldOts,A_{j,n})$ LiveS On $p$, aNd fOr $$S = A_{j,1} + \cDOtS + a_{j,N} + Q_0 = s_j + Q_0,$$ we have $$q_0 \In {\OpEratoRnamE{ACL}}(a',s_j + q_0) \SubSeteQ {\operAtorname{acl}}(sM). \QedHere$$

\[STacKing\] LEt $Y$ be A criTiCal seT and $Q_1, \lDots, Q_N$ bE quasi-minimal. ThEn foR every $m$ thEre ExIst $\{Q_{i,J}\}_{i \in [n], J \In [m]}$ sucH thAt

-   FOr fixed $I \in [n]$, the SEquEnCE $Q_{I,1},\lDots,q_{i,m}$ consists of $m$ DiSTInCt elemenTs of $Q_i$.

-   tHe InTErsectioN $$\bIgcAp_{\etA : [N]
j,n})$ realizes the $A$-in variant ty pe $p _1  \ ot imes  \cd ots \otimes p_ n $ ov er $A'q_0 \subseteq
 {\ope ra t orna m e{ dcl}} (q_0,a_ { 1, 1 } ,\l do ts ,a_ {j - 1, n}A)$ . A pplying  Lemma \[s huf fl e-chaos\], w e  f ind a smal l m odel $M \sup set eq A'$  a nda  non- con stant  globa l  $M$-i nvariantty p e $r$s uch tha t $$ (a_{ j,1},\ldots,a_{j, n }, q _0) \models p_ 1 \oti me s  \ c d ots  \o times
   p_ n \ot i mes r|M . $$ T h e t y pe $r$ extend s ${\operat o rna me{tp} }( q_0 / M)$ an d the re f ore  lives in t he $ M$-defina ble se t  $Q$. B y  Lemma\[cohe ir- mag ic-1 \ ],  i t f ol l ows th at$ ${\ operator na me {tp}} (a_{ j , 1 } ,\ld ots ,a_{ j,n}, q_0/M)$$ is b roa d, a s  atypein $X _1 \ ti mes \ cdots\time sX_n \times Q$.This  contradi cts  L emm a\[exp a nder\] : t he$X_i, P , Q$ ar e  al l$ M $ -d efinable, the type  o f $( a_{j,1}, \ldots , a_ {j , n},q_0)$  o ver  $M$ i s bro ad,t he  tuple $ (a_{j, 1 }, \l dots,a_ {j ,n})$li ves  on  $P$, andfor $$ s = a_{j ,1} + \cdots + a_{j, n } + q_0 = s_j +q _ 0, $ $ we  ha ve $$q_0 \i n {\ o pera torn a me {ac l }}(A' ,s_j+q _0 )  \subseteq {\operat or name{a cl}}( sM). \qedhere $$

\[stac k i n g\] Let$Y$b ea  critical setand $ Q_1, \ldot s , Q_n$ b e qua si-minim al. Thenf o r every$m$  th ere  ex i s t$\{q_{i,j}\}_ { i  \in  [ n], j \ in[m]}$ s uch  th at
- For fixed  $i \in[n ]$ ,th e s equen c e $q_{i, 1} ,\l do ts, q_{i, m }$ con sists  of$m $d ist inct el e me n t s of  $ Q_ i$.
- The i nter s ect ion $$\ bigcap_{\ eta : [n ]
j,n})$ realizes_the $A$-invariant_type $p_1
  \otimes_\cdots \otimes_p_n$_over $A'q_0_\subseteq
_ {\operatorname{dcl}}(q_0,a_{1,1},\ldots,a_{j-1,n}A)$. Applying_Lemma \[shuffle-chaos\], we find_a small model $M_\supseteq A'$ and_a_non-constant global $M$-invariant type $r$ such that $$(a_{j,1},\ldots,a_{j,n},q_0) \models p_1 \otimes \cdots \otimes
 __ p_n_\otimes_r|M.$$_The type $r$ extends ${\operatorname{tp}}(q_0/M)$_and therefore lives in the_$M$-definable set_$Q$. By Lemma \[coheir-magic-1\], it follows that $${\operatorname{tp}}(a_{j,1},\ldots,a_{j,n},q_0/M)$$ is_broad,_as a type_in $X_1 \times \cdots \times X_n \times Q$. This_contradicts Lemma \[expander\]: the $X_i, P, Q$_are all $M$-definable,_the_type_of $(a_{j,1},\ldots,a_{j,n},q_0)$ over $M$_is broad, the tuple $(a_{j,1},\ldots,a_{j,n})$ lives_on $P$, and for $$s =_a_{j,1} + \cdots + a_{j,n} + q_0_= s_j + q_0,$$ we have_$$q_0 \in {\operatorname{acl}}(A',s_j + q_0)_\subseteq {\operatorname{acl}}(sM)._\qedhere$$

\[stacking\] Let $Y$ be a_critical set and_$Q_1, \ldots,_Q_n$ be quasi-minimal._Then for every $m$ there exist_$\{q_{i,j}\}_{i \in [n],_j \in [m]}$ such that

- __For fixed $i_\in_[n]$,_the sequence_$q_{i,1},\ldots,q_{i,m}$ consists of_$m$_distinct elements_of_$Q_i$.

-   The intersection $$\bigcap_{\eta_:_[n]