\q1 \v=21 \v~=This man shall be punished in the streets of the city; \¬q1 \q1 \p~<