\v=21 \v~=Lakini kama ilivyoandikwa: \¬p \q1 \p~<