{θ
¬ρ
{θ ¬ρ
PCΕ