\v=17
\v~=Nevertheless the people still sacrificed on the high places, only to the Lord their God. 
\¬v
\¬p