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