\v=10
\v~=\w for|strong="H3588"\w* \w if|strong="H3588"\w* \w we|strong="H3588"\w* hadn’t \w delayed|strong="H4102"\w*, \w surely|strong="H3588"\w* \w we|strong="H3588"\w* would \w have|strong="H3588"\w* \w returned|strong="H7725"\w* \w a|strong="H3588"\w* second \w time|strong="H6471"\w* \w by|strong="H3588"\w* \w now|strong="H6258"\w*.” 
\¬v
\¬p