\v=19
\v~=\w laying|strong="H2934"\w* \w up|strong="G1519"\w* \w in|strong="G1519"\w* \w store|strong="H4543"\w* \w for|strong="G1519"\w* \w themselves|strong="G1438"\w* \w a|strong="G1519"\w* \w good|strong="G2570"\w* \w foundation|strong="G2310"\w* \w against|strong="G1519"\w* \w the|strong="G1519"\w* \w time|strong="H6256"\w* \w to|strong="G1519"\w* \w come|strong="G3195"\w*, \w that|strong="G2443"\w* \w they|strong="G3588"\w* \w may|strong="G2443"\w* \w lay|strong="H7901"\w* \w hold|strong="G1949"\w* \w on|strong="G1519"\w* \w the|strong="G1519"\w* \w life|strong="G2222"\w* \w which|strong="G3588"\w* \w is|strong="G3588"\w* \add \+w life|strong="G2222"\+w*\add* \w indeed|strong="G3689"\w*. 
\¬v
\¬p