P_{k} ⇒ P_{k+1}