\v=4
\v~=David’s army captured 1,700 of Hadadezer’s soldiers who used chariots, and twenty thousand soldiers on foot. They also crippled all but one hundred of the horses, and they would be used to pull chariots.
\¬v
\¬p