\b \q1 \v=10 \v~=But the ungodly will be punished even as their reasoning deserves, \¬q1 \q2 \p~<