\b \q1 \v=7 \v~=But a righteous man, even if he dies before his time, will be at rest. \¬v \¬q1