\b
\q1
\v=13
\v~=\w They|strong="H3808"\w* \w soon|strong="H4116"\w* \w forgot|strong="H7911"\w* \w his|strong="H3808"\w* \w works|strong="H4639"\w*. 
\¬q1
\q2
\p~<<q2=\w They|strong="H3808"\w* \w didn’t|strong="H3808"\w* \w wait|strong="H2442"\w* \w for|strong="H3808"\w* \w his|strong="H3808"\w* \w counsel|strong="H6098"\w*, 
\¬q2
\¬v