\v=15
\v~=\w pour|strong="H5704"\w* montrer \w que|strong="H8085"\w* Yahvé \w est|strong="H1961"\w* \w droit|strong="H3477"\w*. 
\¬q2
\q1
\p~<<q1=\w Il|strong="H3117"\w* \w est|strong="H1961"\w* \w mon|strong="H1961"\w* \w rocher|strong="H6697"\w*, 
\¬q1
\q2
\p~<<q2=2 \w et|strong="H1879"\w* \w il|strong="H3117"\w* \w n'y|strong="H1198"\w* \w a|strong="H1961"\w* \w pas|strong="H1961"\w* d'injustice \w en|strong="H5750"\w* \w lui|strong="H3068"\w*. 
\¬v
\¬q2
\¬c