Item
.
“
\(P\)
is necessary for
\(Q\)
” means
\(Q \imp P\text{.}\)
in-context