1: \begin{definition}\label{definition:phi-psi}

2: 	In what follows the functions $\Phi_q$ and $\Psi_q$ are as introduced in Theorem~\ref{thm:skip-free}.

3: \end{definition}

4: