\v=33
\v~=\w He|strong="H1931"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w search|strong="H1239"\w* \w whether|strong="H0518"\w* \w it|strong="H1931"\w* \w be|strong="H1961"\w* \w good|strong="H2896"\w* \w or|strong="H3808"\w* \w bad|strong="H7451"\w*, \w neither|strong="H3808"\w* \w shall|strong="H3808"\w* \w he|strong="H1931"\w* \w change|strong="H4171"\w* \w it|strong="H1931"\w*: \w and|strong="H2896"\w* \w if|strong="H1961"\w* \w he|strong="H1931"\w* \w change|strong="H4171"\w* \w it|strong="H1931"\w* \w at|strong="H1961"\w* \w all|strong="H1350"\w*, \w then|strong="H1961"\w* \w both|strong="H8147"\w* \w it|strong="H1931"\w* \w and|strong="H2896"\w* \w that|strong="H1931"\w* \w for|strong="H7451"\w* \w which|strong="H1931"\w* \w it|strong="H1931"\w* \w is|strong="H1931"\w* \w changed|strong="H4171"\w* \w shall|strong="H3808"\w* \w be|strong="H1961"\w* \w holy|strong="H6944"\w*; \w it|strong="H1931"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w be|strong="H1961"\w* \w redeemed|strong="H1350"\w*. 
\¬v
\¬p