\q1
\v=8
\v~=\w But|strong="H3588"\w* \w true|strong="H0571"\w* \w to|strong="H4616"\w* \w his|strong="H3045"\w* \w name|strong="H8034"\w* \w he|strong="H8034"\w* \w saved|strong="H3467"\w* \w them|strong="H4616"\w*, 
\¬q1
\q2
\p~<<q2=\w in|strong="H8034"\w* \w order|strong="H4616"\w* \w to|strong="H4616"\w* \w show|strong="H3045"\w* \w his|strong="H3045"\w* \w might|strong="H1369"\w*. 
\¬q2
\¬v