\v=10 \v~=Lakini \¬p \q1 \p~<