\v=3
\v~=And all their brethren played, and he made them go up together with them. 
\¬v
\¬p