\v=2 \v~=\w And|strong="G2532"\w* \w he|strong="G2532"\w* \w said|strong="G5346"\w*, \¬p \p \p~<