s
¬ρ
s ¬ρ
PCΕ