\q1 \v=9 \v~=But of others, there is no memory. \¬q1 \q2 \p~<