\q1 \v=2 \v~=Praise you° him, all his angels: praise you° him, all his hosts. \¬v \¬q1