1: \begin{proof}

2: Setting $n=2$ in the proof of \cite[Proposition 13.1]{BM13} is sufficient here. Indeed, their proof relies on \cite[Theorem 12.3]{BM13} whose proof also goes through in our case when we replace \cite[Theorem 1.2]{BM13} with Theorem \ref{thm:every-model}. %$\bigstar\bigstar\bigstar$ \textbf{Should we provide analogues of \cite[Theorems 12.1 \& 12.3]{BM13} so as to make this rigorous or is it clear that the same proofs go through unchanged?}

3: \end{proof}

4: