\alpha(x, a) \in \Gamma^{(1)}(\phi(x))
\quad
\forall x \in X, a \in \Gamma^{(2)}(x)