\q1 \v=26 \v~=Set your slave to work, and you will find rest. \¬q1 \q2 \p~<