\v=23
\v~=And the garison of the Philistims came out to the passage of Michmash. 
\¬v
\¬p
\¬c