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