\v=26
\v~=\w But|strong="G1161"\w* \w we|strong="G2249"\w* \w must|strong="G1163"\w* \w be|strong="G1163"\w* \w cast|strong="G1601"\w* \w upon|strong="G1519"\w* \w a|strong="G1519"\w* \w certain|strong="G5100"\w* \w island|strong="G3520"\w*. 
\¬v
\¬p