\q1 \v=31 \v~=They will rejoice in his commandment, \¬q1 \q2 \p~<