\q1
\v=17
\v~=He \w who|strong="H6664"\w* \w is|strong="H6664"\w* truthful testifies \w honestly|strong="H0530"\w*, 
\¬q1
\q2
\p~<<q2=but \w a|strong="H5046"\w* \w false|strong="H8267"\w* \w witness|strong="H5707"\w* \w lies|strong="H8267"\w*. 
\¬q2
\¬v