\q1 \v=15 \v~=For righteousness is immortal: \¬v \¬q1