\v=5
\v~=Atachukua mbuzi dume wawili kutoka kwa jumuiya ya Israeli kwa ajili ya sadaka ya dhambi, na kondoo dume kwa ajili ya sadaka ya kuteketezwa. 
\¬v
\¬p