\q1 \v=19 \v~=Let’s test him with insult and torture, \¬q1 \q2 \p~<