\q1 \v=16 \v~=For both we and our words are in his hand, \¬q1 \q2 \p~<