Equation Popup

∙ I → L 𝒮 ← L∗ 𝒞 R ∗ 𝒮 → R, pL < pL ∗ = pR ∗ > pR, ∙ I → L 𝒮 ← L∗ 𝒞 R ∗ ℛ → R, pL < pL ∗ = pR ∗ ≤ pR, (16 ) ∙ I → L R ← L ∗ 𝒞 R ∗ ℛ → R, pL ≥ pL ∗ = pR ∗ ≤ pR.