Item 3.1.8.a.
\(P \wedge Q\text{.}\)
in-context