\q1 \v=23 \v~=There is a wickedness, and it is an abomination. \¬q1 \q1 \p~<