\v=24
\v~=For John was not yet thrown into prison. 
\¬v