\v=20 \v~=na akasema: \¬p \q1 \p~<