\v=18 \v~=Basi, \¬p \q1 \p~<