\v=47 \v~=Kwa maana hili ndilo Bwana alilotuamuru: \¬p \q1 \p~<