\v=38
\v~=\w But|strong="G1161"\w* \w if|strong="G1487"\w* \w any|strong="G5100"\w* \w man|strong="G5100"\w* \w is|strong="G5100"\w* \w ignorant|strong="H3045"\w*, \w let|strong="G1161"\w* \w him|strong="H5414"\w* \w be|strong="G5100"\w* \w ignorant|strong="H3045"\w*. 
\¬v
\¬p