\q1
\v=8
\v~=\w For|strong="H0430"\w* \w the|strong="H5414"\w* \w redemption|strong="H6299"\w* \w of|strong="H0376"\w* \w their|strong="H5414"\w* life \w is|strong="H0430"\w* costly, 
\¬q1
\q2
\p~<<q2=\w no|strong="H3808"\w* payment \w is|strong="H0430"\w* ever enough, 
\¬q2
\¬v