\v=4
\v~=And he shall judge among the nations, and shall rebuke many people: and they shall beat their swords into plough-shares, and their spears into sickles: and nation shall not take up sword against nation, neither shall they learn to war any more. 
\¬v
\¬p