\v=8
\v~=\w Après|strong="G2532"\w* \w leur|strong="G1438"\w* \w avoir|strong="G2532"\w* \w tout|strong="G2532"\w* expliqué, \w il|strong="G2532"\w* \w les|strong="G2532"\w* \w envoya|strong="G3992"\w* \w à|strong="G1519"\w* \w Joppé|strong="G2445"\w*. 
\¬v
\¬p