\v=2 \v~=Judith dit, \¬p \q1 \p~<