\q1 \v=10 \v~=And there is a friend who is a companion at the table, \¬q1 \q2 \p~<