\q1
\v=10
\v~=\w and|strong="H3478"\w* \w confirmed|strong="H5975"\w* \w it|strong="H5975"\w* \w to|strong="H3478"\w* \w Jacob|strong="H3290"\w* \w for|strong="H3290"\w* \w a|strong="H5975"\w* \w statute|strong="H2706"\w*; 
\¬q1
\q2
\p~<<q2=\w to|strong="H3478"\w* \w Israel|strong="H3478"\w* \w for|strong="H3290"\w* an \w everlasting|strong="H5769"\w* \w covenant|strong="H1285"\w*, 
\¬q2
\¬v