\v=20 \v~=Therefore \¬p \q1 \p~<