\q1
\v=13
\v~=Woe to the faint heart! For it doesn’t believe. 
\¬q1
\q2
\p~<<q2=Therefore it won’t be defended. 
\¬q2
\¬v