\v=22
\v~=jusqu'à ce que vienne l'ancienneté des jours, et que le jugement soit donné aux saints du Très-Haut, et que vienne le temps où les saints possédaient le royaume. 
\¬v
\¬p