\q1 \v=4 \v~=There is a companion who rejoices in the gladness of a friend, \¬q1 \q2 \p~<