\v=23
\v~=\w For|strong="H3588"\w* \w all|strong="H3605"\w* \w his|strong="H3605"\w* \w days|strong="H3117"\w* \w are|strong="H3117"\w* \add \+w but|strong="H3588"\+w*\add* \w sorrows|strong="H4341"\w*, \w and|strong="H3117"\w* \w his|strong="H3605"\w* \w travail|strong="H6045"\w* \w is|strong="H2088"\w* \w grief|strong="H3708"\w*; \w yea|strong="H3588"\w*, \w even|strong="H1571"\w* \w in|strong="H3117"\w* \w the|strong="H3605"\w* \w night|strong="H3915"\w* \w his|strong="H3605"\w* \w heart|strong="H3820"\w* \w taketh|strong="H3947"\w* \w no|strong="H3808"\w* \w rest|strong="H7901"\w*. \w This|strong="H2088"\w* \w also|strong="H1571"\w* \w is|strong="H2088"\w* \w vanity|strong="H1892"\w*. 
\¬v
\¬p