\v=25 \v~=akasema, \¬p \q1 \p~<