\v=9
\v~=Ceux qui étaient dans la citadelle remirent les otages à Jonathan, qui les rendit à leurs parents. 
\¬v
\¬p