\q1 \v=3 \v~=Nimevua joho langu: \¬q1 \q2 \p~<