\q1
\v=8
\v~=\w Car|strong="H3588"\w* \w la|strong="H5414"\w* rédemption \w de|strong="H5414"\w* \w leur|strong="H5414"\w* \w vie|strong="H2416"\w* \w est|strong="H8034"\w* coûteuse, 
\¬q1
\q2
\p~<<q2=2 \w aucun|strong="H5414"\w* paiement \w n'est|strong="H2416"\w* \w jamais|strong="H3808"\w* suffisant, 
\¬q2
\q2
\p~<<q2=2 
\¬v