\q1 \v=9 \v~=Who is he, that we may call him blessed? \¬q1 \q2 \p~<