\v=20
\v~=\w but|strong="H3808"\w* \w they|strong="H3808"\w* \w shall|strong="H3808"\w* \w not|strong="H3808"\w* \w go|strong="H1980"\w* \w in|strong="H4191"\w* \w to|strong="H4191"\w* \w see|strong="H7200"\w* \w the|strong="H7200"\w* \w sanctuary|strong="H6944"\w* \w even|strong="H3808"\w* \w for|strong="H4191"\w* \w a|strong="H7200"\w* \w moment|strong="H1104"\w*, \w lest|strong="H6435"\w* \w they|strong="H3808"\w* \w die|strong="H4191"\w*. 
\¬v
\¬p