\v=30
\v~=\w He|strong="G1161"\w* \w must|strong="G1163"\w* \w become|strong="G1161"\w* \w greater|strong="H1419"\w*, \w and|strong="G1161"\w* \w I|strong="G1473"\w* \w less|strong="H0637"\w*.’ 
\¬v
\¬p