\v=12 \v~=\wj ili,\wj* \¬p \q1 \p~<