Γͺ
¬ρ
Γͺ ¬ρ
PCΕ