1: \begin{definition}[Appropriate template iteration]\label{DefApprTempItSplitting}

2: A template iteration $\Por\frestr\langle L,\Iwf\rangle$ is \emph{appropriate} (for the proof of Theorem \ref{AppSplitting}) if the following conditions hold.

3: \begin{enumerate}[(I)]

4:    \item $\lambda\mu\subseteq L$ is cofinal in $L$, $|L|=\lambda$ and $0=\min(L)$.

5:    \item Every $x\in L$ has an immediate successor and, for $\xi\in\lambda\mu$, $\xi+1$ is the immediate successor of $\xi$.

6:    \item If $\gamma\in\lambda\mu$ is a limit ordinal of cofinality $\neq\kappa$, then $\gamma=\sup_L\left\{\alpha\in\lambda\mu\ /\ \alpha<\gamma\right\}$.

7:    \item $L$ is partitioned into three disjoint sets $L_H$, $L_F$ and $L_T$.

8:    \item $L_H\cap\lambda\mu$ has size $\lambda$ and it is unbounded in $\lambda\mu$.

9:    \item For each $\alpha\in\lambda\mu$, $L_\alpha\in\Iwf_\alpha$.

10:    \item If $X\in[L]^{<\theta}$, then $|\Iwf(X)|<\theta$.

11:    \item For $x\in L_H$ and $B\in\hat{\Iwf}_x$, $\Qnm_x^B$ is a $\Por\frestr B$-name for $\Dor^{V^{\Por\upharpoonright B}}$.

12:    \item For $x\in L_F$ there is a fixed $C_x\in\hat{\Iwf}_x$ of size $<\theta$ and $\dot{\Fwf}_x$ a $\Por\frestr C_x$-name for a filter subbase on $\omega$ of size $<\theta$ such that, for every $B\in\hat{\Iwf}_x$,

13:        \[\Qnm_x^B=\left\{\begin{array}{ll}

14:           \Mor_{\dot{\Fwf}_x} & \textrm{if $C_x\subseteq B$,}\\

15:           \dot{\mathds{1}} & \textrm{otherwise.}

16:        \end{array}\right.\]

17:    \item For $x\in L_T$ and $B\in\hat{\Iwf}_x$, $\Qnm_x^B$ is the trivial poset.

18:    \item Given $\dot{\Fwf}$ a $\Por\frestr L$-name for a filter subbase on $\omega$ of size $<\theta$, there exists an $x\in L_F$ such that $\Vdash_{\Por\upharpoonright L}\dot{\Fwf}=\dot{\Fwf}_x$.

19: \end{enumerate}

20: \end{definition}

21: