T$. We say $\Q$ is *excellent* if whenever $\R$ is a $\Sigma_\Q$-iterate of $\Q$ such that $\pi_{\Q, \R}$ is defined $\R$ is good. In this case, we also say that $\Sigma_\Q$ is fullness preserving.

Suppose now $\a<\k$ is such that it ends a weak gap (see [@Scales]). We then let

$\mathcal{F}(\a, a)=\{ \Q: J_\a(\mathbb{R}){\vDash}``\Q$ is an excellent $a$-premouse"$\}$.

Given $a$-premouse $\P$ such that $J_\a(\mathbb{R}){\vDash}``\P$ is suitable and short tree iterable" we let $\mathcal{F}(\a, a, \P)$ be the set of $\Q$ such that in $J_\a(\mathbb{R})$, there is a correctly guided short tree $\T$ on $\P$ with last suitable model $\P^*$ such that for some $\P^*$-cardinal $\eta\leq \l_{\P^*}$, $\Q=\P^*|(\l_{\P^*}^+)^{\P^*}$.

Suppose $\a<\k$ ends a weak gap, $a\in HC$ and $\P$ is an $a$-premouse such that $J_\a(\mathbb{R}){\vDash}``\P$ is suitable and short tree iterable". Then $\mathcal{F}(\a, a, \P)\subseteq \mathcal{F}(\a, a)$.

Fix $\Q\in \mathcal{F}(\a, a, \P)$. Work in $J_\a(\mathbb{R})$. Let $\T$ be a correctly guided short tree on $\P$ with last suitable model $\P^*$ such that for some $\P^*$-cardinal $\eta< \l_{\P^*}$, $\Q=\P^*|(\l_{\P^*}^+)^{\P^*}$. Because $\P$ is short tree iterable, we have that $\Q$ is $(\omega, \omega_1)$-iterable via a unique iteration strategy $\Sigma$. As the iterations of $\Q$ can also be viewed as iterations of $\P^*$, we have that $\Sigma$ is fullness preserving, implying that $\Q$ is excellent.

Notice that if $\b>\a
T$. We say $ \Q$ is * excellent * if whenever $ \R$ is a $ \Sigma_\Q$-iterate of $ \Q$ such that $ \pi_{\Q, \R}$ is defined $ \R$ is good. In this case, we besides suppose that $ \Sigma_\Q$ is fullness preserving. 

 presuppose immediately $ \a<\k$ is such that it ends a weak opening (see [ @Scales ]). We then let 

 $ \mathcal{F}(\a, a)=\ { \Q: J_\a(\mathbb{R}){\vDash}``\Q$ is an excellent $ a$-premouse"$\}$. 

 contribute $ a$-premouse $ \P$ such that $ J_\a(\mathbb{R}){\vDash}``\P$ is suitable and short tree iterable " we lease $ \mathcal{F}(\a, a, \P)$ be the set of $ \Q$ such that in $ J_\a(\mathbb{R})$, there constitute a correctly guided short tree $ \T$ on $ \P$ with last suitable model $ \P^*$ such that for some $ \P^*$-cardinal $ \eta\leq \l_{\P^*}$, $ \Q=\P^*|(\l_{\P^*}^+)^{\P^*}$. 

 think $ \a<\k$ ends a weak gap, $ a\in HC$ and $ \P$ is an $ a$-premouse such that $ J_\a(\mathbb{R}){\vDash}``\P$ is desirable and short tree iterable ". Then $ \mathcal{F}(\a, a, \P)\subseteq \mathcal{F}(\a, a)$. 

 Fix $ \Q\in \mathcal{F}(\a, a, \P)$. Work in $ J_\a(\mathbb{R})$. Let $ \T$ be a correctly guide short tree on $ \P$ with concluding suitable model $ \P^*$ such that for some $ \P^*$-cardinal $ \eta < \l_{\P^*}$, $ \Q=\P^*|(\l_{\P^*}^+)^{\P^*}$. Because $ \P$ is short tree iterable, we have that $ \Q$ is $ (\omega, \omega_1)$-iterable via a unique iteration scheme $ \Sigma$. As the iterations of $ \Q$ can also be viewed as iterations of $ \P^*$, we have that $ \Sigma$ is fullness preserve, imply that $ \Q$ is excellent. 

 Notice that if $ \b>\a
T$. Wf say $\Q$ is *excellent* if dhenever $\R$ is a $\Sigma_\Q$-mterate of $\Q$ suzh that $\pi_{\Q, \R}$ is defined $\R$ id tood. Un this case, we also sxy that $\Spgma_\Q$ is dulliess preserving.

Snlpose now $\a<\k$ jd sueh that it ends s weak gap (see [@Scales]). We tfeu let

$\mathcal{F}(\a, a)=\{ \Q: J_\a(\mathbb{R}){\vDash}``\Q$ if an exveplent $a$-premousg"$\}$.

Givem $a$-prsmouse $\P$ such that $J_\a(\mathbb{R}){\vDash}``\P$ is suiuable and short trre iterable" we let $\mathcal{V}(\a, a, \P)$ be the set of $\Q$ such that un $J_\w(\nathbb{R})$, therd is a corgzctly guides short tree $\T$ on $\P$ with last sjitabke model $\P^*$ sych jhat for somx $\P^*$-carqinal $\eta\leq \l_{\P^*}$, $\Q=\P^*|(\l_{\P^*}^+)^{\[^*}$.

Supposr $\a<\k$ ends a wesk jap, $q\in HC$ and $\P$ is an $a$-pcemouse such that $J_\a(\iathbb{R}){\vDdsk}``\P$ is suitable and shirr treg itesabld". Thdn $\javhczl{F}(\a, a, \P)\snbseteq \matgcal{F}(\a, a)$.

Fix $\Q\in \mathcal{F}(\a, a, \P)$. Eowj in $J_\a(\mathbb{D})$. Let $\E$ fe a correctly guided short tree on $\P$ wpth mast suitable model $\P^*$ sych that for some $\P^*$-catdinal $\eta< \l_{\P^*}$, $\Q=\P^*|(\l_{\P^*}^+)^{\P^*}$. Because $\P$ is short tree iterable, we hava thav $\D$ iw $(\jowgw, \omega_1)$-iterable via a unique iteration stratedg $\Xinma$. As the iterabions of $\Q$ can alsp he diewed as itetations of $\P^*$, we have that $\Sihma$ is sullnwss presewvinb, implying that $\Q$ is excellwnt.

Notice thct uf $\b>\a
T$. We say $\Q$ is *excellent* if is $\Sigma_\Q$-iterate of such that $\pi_{\Q, good. this case, we say that $\Sigma_\Q$ fullness preserving. Suppose now $\a<\k$ is that it ends a weak gap (see [@Scales]). We then let $\mathcal{F}(\a, a)=\{ J_\a(\mathbb{R}){\vDash}``\Q$ is an excellent $a$-premouse"$\}$. Given $a$-premouse $\P$ such that $J_\a(\mathbb{R}){\vDash}``\P$ is suitable short iterable" let a, \P)$ be the set of $\Q$ such that in $J_\a(\mathbb{R})$, there is a correctly guided tree $\T$ on $\P$ with last suitable model such that for some $\eta\leq \l_{\P^*}$, $\Q=\P^*|(\l_{\P^*}^+)^{\P^*}$. Suppose $\a<\k$ a gap, $a\in and is $a$-premouse such that is suitable and short tree iterable". Then $\mathcal{F}(\a, a, \P)\subseteq \mathcal{F}(\a, a)$. Fix $\Q\in \mathcal{F}(\a, a, \P)$. in $J_\a(\mathbb{R})$. be a guided tree $\P$ with last $\P^*$ such that for some $\P^*$-cardinal Because $\P$ is short tree iterable, we have $\Q$ is \omega_1)$-iterable via a unique iteration strategy As the iterations of $\Q$ can also be as iterations of $\P^*$, we have that $\Sigma$ is fullness preserving, implying that $\Q$ is that if $\b>\a
T$. We say $\Q$ is *excellent* if wheneVer $\R$ is a $\SigMa_\Q$-itEraTe oF $\Q$ Such That $\Pi_{\Q, \R}$ is defined $\R$ IS gooD. In this case, we also say thAt $\SigMa_\q$ Is fuLLnEss prEservinG.

suPPOse NoW $\a<\K$ is SuCH tHat it EndS a weak gAp (see [@ScaleS]). We ThEn let

$\mathcal{f}(\A, a)=\{ \q: J_\a(\mathbb{R}){\VDaSh}``\Q$ is an excelLenT $a$-premOuSe"$\}$.

GIVen $a$-pRemOuse $\P$ Such thAT $J_\a(\matHbb{R}){\vDash}``\p$ iS SuitabLE and shoRT TrEe itErable" we let $\mathcaL{f}(\a, A, \p)$ be the set of $\Q$ suCh that In $j_\A(\mATHbb{r})$, thEre is a corrEcTly guIDed shorT TrEE $\t$ On $\P$ WIth last suitabLe model $\P^*$ sucH ThaT for soMe $\p^*$-caRDinal $\eTa\leq \L_{\P^*}$, $\q=\p^*|(\l_{\P^*}^+)^{\p^*}$.

Suppose $\a<\k$ eNds a Weak gap, $a\iN HC$ and $\p$ Is an $a$-prEMouse suCh that $j_\a(\mAthBb{R}){\vdAsH}``\P$ Is sUiTAblE AnD shORt tRee iteraBlE". THen $\maThcaL{f}(\A, A, \p)\subSetEq \maThcal{f}(\a, a)$.

Fix $\Q\in \mathCal{f}(\a, a, \P)$. wOrk In $J_\a(\mAthbb{r})$. Let $\t$ bE a corRectly GuideD sHort tree on $\P$ with Last Suitable mOdeL $\P^*$ SucH tHat foR Some $\P^*$-cArdInaL $\eta< \l_{\P^*}$, $\Q=\p^*|(\l_{\P^*}^+)^{\P^*}$. BecAUse $\p$ iS SHOrT tree iterable, we havE tHAT $\Q$ Is $(\omega, \oMega_1)$-itERaBlE Via a uniqUe IteRatiON StratEgy $\SIGmA$. As the itEratioNS oF $\Q$ Can also Be Viewed As IteRatIons oF $\p^*$, we hAve thaT $\Sigma$ is FullnESs preserving, imPLying that $\Q$ is eXCeLLEnT.

notiCe tHat if $\b>\a
T$. We say $\Q$ is *excell ent* if wh eneve r $ \R$  i s a$\Si gma_\Q$-iterat e  of$\Q$ such that $\pi_{\ Q, \R }$ is d e fi ned $ \R$ isg oo d .  In  t hi s c as e ,we al sosay tha t $\Sigma_ \Q$  i s fullness p r es erving.

S upp ose now $\a< \k$  is su ch  th a t itend s a w eak ga p  (see[@Scales] ). We the n  let

$ \ m at hcal {F}(\a, a)=\{ \Q: J_ \ a(\mathbb{R}){ \vDash }` ` \Q $ isanexcellent$a $-pre m ouse"$\ } $. G ive n  $a$-premouse  $\P$ sucht hat  $J_\a (\ mat h bb{R}) {\vDa sh } ``\ P$ is suita bleand short  treei terable "  we let  $\mat hca l{F }(\a ,  a ,\P) $b e t h eset of$\Q$ suc hth at in  $J_ \ a ( \ math bb{ R})$ , the re is a corre ctl y gu i ded  shor t tre e $\ T$  on $ \P$ wi th la st  suitable model  $\P ^*$ suchtha tfor  s ome $ \ P^*$-c ard ina l $\eta \leq \l _ {\P ^* } $ ,  $ \Q=\P^*|(\l_{\P^*} ^+ ) ^ {\ P^*}$.
Suppos e  $ \a < \k$ ends  a  we ak g a p , $a\ in H C $and $\P$  is an $a $- premous esuch t ha t $ J_\ a(\ma t hbb{ R}){\v Dash}``\ P$ is suitable and s h ort tree iter a bl e " .T hen$\m athcal{F}(\ a, a ,  \P) \sub s et eq\ mathc al{F} (\ a ,a )$.

Fix $\Q\in \ma th cal{F} (\a,a, \P)$. Work  in $J_\a( \ m a thbb{R}) $. L e t$ \T$ be a corre ctlyguided sho r t tree o n $\P $ with l ast suita b l e model$\P ^*$  su cht h at  for some $\P ^ * $-ca rd inal $\ eta < \l_{\ P^* }$,  $\ Q=\ P^ *|(\l_{\P ^*}^+)^{ \P ^* }$ .Bec ause$ \P$ is s ho rttr eeitera b le, we  have  tha t$\ Q $ i s $(\om e ga , \ome ga _1 )$-i ter ab le vi a au niq ue iter ation str ate g y $\ Si gm a$. Asthe iteration sof $\Q$ ca nals o be v i e wed as i terations of $\P^*$, we have th at$\Sig ma$is fullne sspreser vin g , impl ying t hat $ \Q $ i s excel l e nt .
No tice thati f  $\ b>\a
T$. We_say $\Q$_is *excellent* if whenever_$\R$ is_a_$\Sigma_\Q$-iterate of_$\Q$_such that $\pi_{\Q,_\R}$ is defined_$\R$ is good. In_this case, we_also_say that $\Sigma_\Q$ is fullness preserving.

Suppose now $\a<\k$ is such that it ends a_weak_gap (see_[@Scales])._We_then let

$\mathcal{F}(\a, a)=\{ \Q: J_\a(\mathbb{R}){\vDash}``\Q$_is an excellent $a$-premouse"$\}$.

Given $a$-premouse_$\P$ such_that $J_\a(\mathbb{R}){\vDash}``\P$ is suitable and short tree iterable"_we_let $\mathcal{F}(\a, a,_\P)$ be the set of $\Q$ such that in_$J_\a(\mathbb{R})$, there is a correctly guided_short tree $\T$_on_$\P$_with last suitable model_$\P^*$ such that for some $\P^*$-cardinal_$\eta\leq \l_{\P^*}$, $\Q=\P^*|(\l_{\P^*}^+)^{\P^*}$.

Suppose $\a<\k$ ends a_weak gap, $a\in HC$ and $\P$ is_an $a$-premouse such that $J_\a(\mathbb{R}){\vDash}``\P$ is_suitable and short tree iterable"._Then $\mathcal{F}(\a,_a, \P)\subseteq \mathcal{F}(\a, a)$.

Fix $\Q\in_\mathcal{F}(\a, a, \P)$._Work in_$J_\a(\mathbb{R})$. Let $\T$_be a correctly guided short tree_on $\P$ with_last suitable model $\P^*$ such that_for_some $\P^*$-cardinal $\eta<_\l_{\P^*}$,_$\Q=\P^*|(\l_{\P^*}^+)^{\P^*}$._Because $\P$_is short tree_iterable,_we have_that_$\Q$ is $(\omega, \omega_1)$-iterable via a_unique_iteration strategy $\Sigma$. As the iterations of_$\Q$ can also be_viewed_as iterations of $\P^*$,_we have that $\Sigma$ is_fullness preserving, implying that $\Q$ is_excellent.

Notice that_if $\b>\a