1: $ defined in \eqref{Phi}.

2: Convergences $