P A_{1} A_{2} P P′ P A_{3} P′ A_{3} p = {o_{1}, o_{2}, …, o_{i}} p′ = p ∪ {o_{i+1}} o_{i+1} n + 1 n n