是把 $p_i$ 变成 $p_{p_i}$。