\v=2 \v~=\w and|strong="H0559"\w* \w say|strong="H0559"\w*, \¬p \q1 \p~<