\v=30
\v~=\wj Lakini wengi walio wa kwanza watakuwa wa mwisho, na walio wa mwisho watakuwa wa kwanza.\wj*
\¬v
\¬p
\¬c