\b
\q1
\v=13
\v~=\w Happy|strong="H0835"\w* \w is|strong="H2451"\w* \w the|strong="H4672"\w* \w man|strong="H0120"\w* \w who|strong="H0120"\w* \w finds|strong="H4672"\w* \w wisdom|strong="H2451"\w*, 
\¬q1
\q2
\p~<<q2=\w the|strong="H4672"\w* \w man|strong="H0120"\w* \w who|strong="H0120"\w* gets \w understanding|strong="H8394"\w*. 
\¬q2
\¬v