\q1 \v=25 \v~=A cheerful and good heart \¬q1 \q1 \p~<