\forall x \in X^{(2)}, a^{(1)} \in \Gamma^{(1)}\big(\phi(x)\big)
\;\;
\exists a \in \Gamma^{(2)}(x):
\;\;
\alpha(x, a) = a^{(1)}