\v=2 \v~=(\w for|strong="G1063"\w* \w he|strong="G2532"\w* \w saith|strong="G3004"\w*, \¬p \q1 \p~<