\v=7
\v~=\wj Nawaambieni, vivyo hivyo kutakuwa na furaha zaidi mbinguni kwa sababu ya mwenye dhambi mmoja atubuye, kuliko kwa wenye haki tisini na tisa ambao hawana haja ya kutubu.”\wj*
\¬v
\¬p