Why can Proposition 1 indicate whether $p_i(x)$ can easily transition to $p_j(x)$? 