\p \v=2 \v~=Katika siku ile: \¬p \q1 \p~<