V
¬ρ
V ¬ρ
PCΕ
V
¬ρ
PCΕ