1: \begin{definition}

2: We call a system $X\in\MPS[2]$ \emph{magic} if $A(X|\IF{2}, T_{1}) = \IF{1} \vee \IF{2}$ (recall that $A(X|\IF{2}, T_{1})$ was defined in Theorem~\ref{thm:A+W}).

3: \end{definition}

4: