\v=17
\v~=They rested on the fourteenth of the same month, and kept it as a day of rest with joy and gladness. 
\¬v
\¬p