aΜR
¬ρ
aΜR ¬ρ
PCΕ