1: \begin{definition}[Strongly Fibered]\label{def:strongly_fibered_relative_quotiented_model}

2: A system of $R$-premodels $(K,\mathtt{rou},\mathcal{P},\mathtt{V})$ over a small category $D$ in a category $\mathcal{C}$ will be said to be \emph{strongly fibered}

3: if it is fibered and, for every $\Upgamma$-quotiented arrow $(!_A,\mathfrak{u}):(A,S,e) \to \mathbf{1}$, the $\Upgamma$-factorisation of any corresponding $\Upgamma$-quotiented $(A,S,e)$-model  (obtained in Theorem \ref{th:admissible_quotiented_effective}) lifts to $\mathcal{P}$.

4: \end{definition}

5: