\v=2
\v~=Yeye ndiye dhabihu ya upatanisho kwa ajili ya dhambi zetu, wala si kwa ajili ya dhambi zetu tu, bali pia kwa ajili ya dhambi za ulimwengu wote. 
\¬v
\¬p