\v=19
\v~=storing \w up|strong="G1519"\w* \w for|strong="G1519"\w* \w themselves|strong="G1438"\w* \w what|strong="G3588"\w* \w in|strong="G1519"\w* \w the|strong="G1519"\w* \w future|strong="G3195"\w* \w will|strong="G3195"\w* \w prove|strong="H5254"\w* \w to|strong="G1519"\w* \w be|strong="G3195"\w* \w a|strong="G1519"\w* \w good|strong="G2570"\w* \w foundation|strong="G2310"\w*, \w so|strong="G2443"\w* \w that|strong="G2443"\w* \w they|strong="G3588"\w* \w may|strong="G2443"\w* \w gain|strong="H1215"\w* \w the|strong="G1519"\w* \w only|strong="G1438"\w* \w true|strong="G3588"\w* \w life|strong="G2222"\w*. 
\¬v
\¬p