\v=5
\v~=For reasoning is not an eradicator, but an antagonist of the emotions. 
\¬v
\¬p