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