\v=3 \v~=\w Il|strong="H3068"\w* \w dit|strong="H6030"\w*: \¬p \q1 \p~<