\q1 \v=20 \v~=Therefore the righteous spoiled the ungodly; \¬q1 \q1 \p~<