ΘΨ
¬ρ
ΘΨ ¬ρ
PCΕ