\v=17
\v~=A horse is vain for safety; neither shall he be delivered by the greatness of his power. 
\¬v
\¬p