Ξμ
¬ρ
Ξμ ¬ρ
PCΕ