\v=4
\v~=\w Then|strong="H2088"\w* \w I|strong="H0589"\w* \w saw|strong="H7200"\w* \w all|strong="H3605"\w* \w the|strong="H3605"\w* \w labor|strong="H5999"\w* \w and|strong="H0376"\w* achievement \w that|strong="H3588"\w* \w is|strong="H2088"\w* \w the|strong="H3605"\w* \w envy|strong="H7068"\w* \w of|strong="H0376"\w* \w a|strong="H3588"\w* \w man’s|strong="H0376"\w* \w neighbor|strong="H7453"\w*. \w This|strong="H2088"\w* \w also|strong="H1571"\w* \w is|strong="H2088"\w* \w vanity|strong="H1892"\w* \w and|strong="H0376"\w* \w a|strong="H3588"\w* \w striving|strong="H7469"\w* \w after|strong="H7469"\w* \w wind|strong="H7307"\w*. 
\¬v
\¬p