\q1 \v=8 \v~=Will he cut off his mercy for ever, even for ever and ever? \¬v \¬q1