Item
0.2.3.b
.
\(P \imp \neg Q\text{.}\)
in-context