\v=25 \v~=\w Il|strong="H3117"\w* \w dit|strong="H5046"\w*, \¬p \q1 \p~<