\begin{definition}[Definition:Only If]
To say that:
:''a statement $p$ is true '''only if''' $q$ is true''
is to say that:
:''$p$ is a sufficient condition for $q$'':
Thus:
:$p \ \text{only if} \ q \dashv \vdash p \implies q$
\end{definition}