κ
¬ρ
κ ¬ρ
PCΕ