\v=3
\v~=And the ten brethren of Joseph went down to buy corn out of Egypt. 
\¬v