\q1 \v=27 \v~=A stubborn heart shall be laden with troubles; \¬q1 \q1 \p~<