\q1 \v=19 \v~=Happy is he who is sheltered from it, \¬q1 \q2 \p~<