\p
\v=20
\v~=And he judged Israel in the days of the Philistines twenty years. 
\¬v
\¬p
\¬c