\v=60
\v~=singing songs of thanksgiving, and praising the Lord, according as David the king of Israel had ordained. 
\¬v
\¬p