p_1 ... p_k ... p_n \to p_k ... p_n p_1 ... p_{k-1}