P^{0}(i) = (∥_{k=0}^{i−2} STOP_{α(P_{k})}) ∥ (_{l=0}^{∞} P_{i−1}.c.Q_{l}^{I} → P_{i}.r.Q_{l}^{O} → STOP) ∥ (∥_{k=i}^{∞} P_{k})
P^{1}(i, j) = (∥_{k=0}^{i−2} STOP_{α(P_{k})}) ∥ (P_{i}.r.Q_{j}^{O} → STOP) ∥ (∥_{k=i}^{∞} P_{k})
P^{2}(i) = (∥_{k=0}^{i−1} STOP_{α(P_{k})}) ∥ (∥_{k=i}^{∞} P_{k})
P^{3}(i, j) = (∥_{k=0}^{i−1} STOP_{α(P_{k})}) ∥ P_{i}^{R}(Q_{j}) ∥ (∥_{k=i+1}^{∞} P_{k})
P^{4}(i, j) = (∥_{k=0}^{i−2} STOP_{α(P_{k})}) ∥

(_{l=0}^{∞} P_{i−1}.c.Q_{l}^{I} → P_{i}.r.Q_{l}^{O} → STOP) ∥ P_{i}^{C}(Q_{j+1}) ∥ (∥_{k=i+1}^{∞} P_{k})

P^{5}(i, j) = (∥_{k=0}^{i−2} STOP_{α(P_{k})}) ∥ (P_{i}.r.Q_{j}^{O} → STOP) ∥ P_{i}^{C}(Q_{j+1}) ∥ (∥_{k=i+1}^{∞} P_{k})
P^{6}(i, j) = (∥_{k=0}^{i−1} STOP_{α(P_{k})}) ∥ P_{i}^{C}(Q_{j+1}) ∥ (∥_{k=i+1}^{∞} P_{k})
P^{7}(i, j) = (∥_{k=0}^{i−1} STOP_{α(P_{k})}) ∥ (Q_{j}.c.P_{i}^{O} → P_{i}^{R}(Q_{j+1})) ∥ (∥_{k=i+1}^{∞} P_{k})

P^{0}(i)/⟨P_{i−1}.c.Q_{j}^{I}⟩ = P^{1}(i, j)
P^{1}(i, j)/⟨P_{i}.r.Q_{j}^{O}⟩ = P^{2}(i)
P^{2}(i)/⟨P_{i}.r.Q_{j}^{I}⟩  = P^{3}(i, j)
P^{3}(i, j)/⟨Q_{j}.c.P_{i+1}^{O}⟩ = P^{0}(i + 1)
P^{0}(i)/⟨P_{i}.c.Q_{j+1}^{I}⟩ = P^{4}(i, j)
P^{1}(i, j)/⟨P_{i}.c.Q_{j+1}^{I}⟩ = P^{5}(i, j)
P^{2}(i)/⟨P_{i}.c.Q_{j+1}^{I}⟩ = P^{6}(i, j)
P^{3}(i, j)/⟨P_{i}.c.Q_{j+1}^{I}⟩ = P^{7}(i, j)
P^{4}(i, j)/⟨P_{i−1}.c.Q_{j}^{I}⟩ = P^{5}(i, j)
P^{5}(i, j)/⟨P_{i}.r.Q_{j}^{O}⟩ = P^{6}(i)
P^{6}(i, j)/⟨P_{i}.r.Q_{j}^{I}⟩  = P^{7}(i, j)
P^{7}(i, j)/⟨Q_{j}.c.P_{i}^{O}⟩ = P^{3}(i, j + 1)

Q^{0}(j) = (∥_{k=0}^{j−2} STOP_{α(Q_{k})}) ∥ (_{l=0}^{∞} Q_{j−1}.c.P_{l}^{I} → Q_{j}.r.P_{l}^{O} → STOP) ∥ (∥_{k=j}^{∞} Q_{k})
Q^{1}(j, i) = (∥_{k=0}^{j−2} STOP_{α(Q_{k})}) ∥ (Q_{j}.r.P_{i}^{O} → STOP) ∥ (∥_{k=j}^{∞} Q_{k})
Q^{2}(j) = (∥_{k=0}^{j−1} STOP_{α(Q_{k})}) ∥ (∥_{k=j}^{∞} Q_{k})
Q^{3}(j, i) = (∥_{k=0}^{j−1} STOP_{α(Q_{k})}) ∥ Q_{j}^{R}(P_{i}) ∥ (∥_{k=j+1}^{∞} Q_{k})
Q^{4}(j, i) = (∥_{k=0}^{j−2} STOP_{α(Q_{k})}) ∥

(_{l=0}^{∞} Q_{j−1}.c.P_{l}^{I} → Q_{j}.r.P_{l}^{O} → STOP) ∥ Q_{j}^{C}(P_{i+1}) ∥ (∥_{k=j+1}^{∞} Q_{k})

Q^{5}(j, i) = (∥_{k=0}^{j−2} STOP_{α(Q_{k})}) ∥ (Q_{j}.r.P_{i}^{O} → STOP) ∥ Q_{j}^{C}(P_{i+1}) ∥ (∥_{k=j+1}^{∞} Q_{k})
Q^{6}(j, i) = (∥_{k=0}^{j−1} STOP_{α(Q_{k})}) ∥ Q_{j}^{C}(P_{i+1}) ∥ (∥_{k=j+1}^{∞} Q_{k})
Q^{7}(j, i) = (∥_{k=0}^{j−1} STOP_{α(Q_{k})}) ∥ (P_{i}.c.Q_{j}^{O} → Q_{j}^{R}(P_{i+1})) ∥ (∥_{k=j+1}^{∞} Q_{k})

Q^{0}(j)/⟨Q_{j−1}.c.P_{i}^{I}⟩ = Q^{1}(j, i)
Q^{1}(j, i)/⟨Q_{j}.r.P_{i}^{O}⟩ = Q^{2}(j)
Q^{2}(j)/⟨Q_{j}.r.P_{i}^{I}⟩  = Q^{3}(j, i)
Q^{3}(j, i)/⟨P_{i}.c.Q_{j+1}^{O}⟩ = Q^{0}(j + 1)
Q^{0}(j)/⟨Q_{j}.c.P_{i+1}^{I}⟩  = Q^{4}(j, i)
Q^{1}(j, i)/⟨Q_{j}.c.P_{i+1}^{I}⟩ = Q^{5}(j, i)
Q^{2}(j)/⟨Q_{j}.c.P_{i+1}^{I}⟩  = Q^{6}(j, i)
Q^{3}(j, i)/⟨Q_{j}.c.P_{i+1}^{I}⟩ = Q^{7}(j, i)
Q^{4}(j, i)/⟨Q_{j−1}.c.P_{i}^{I}⟩ = Q^{5}(j, i)
Q^{5}(j, i)/⟨Q_{j}.r.P_{i}^{O}⟩ = Q^{6}(j)
Q^{6}(j, i)/⟨Q_{j}.r.P_{i}^{I}⟩  = Q^{7}(j, i)
Q^{7}(j, i)/⟨P_{i}.c.Q_{j}^{O}⟩  = Q^{3}(j, i + 1)