δ¬(9)
\[v
(5)
wX
(4)
PCΕ
\[v(5) wX(4)