\q1 \v=10 \v~=You all will eat, but you will never get enough. You will always be hungry. \¬q1 \q2 \p~<