The statement \(Q\) in the conditional statement

\begin{equation*} P \implies Q \end{equation*}

that is

necessary for the antecedent \(P\)

but does not necessitate it.

(Levin 2021, sec. 0.2)