\v=10
\v~=\w who|strong="G3739"\w* \w also|strong="G2532"\w* \w honored|strong="G5091"\w* \w us|strong="G2249"\w* \w with|strong="G4314"\w* \w many|strong="G4183"\w* \w honors|strong="G5091"\w*; \w and|strong="G2532"\w* \w when|strong="G2532"\w* \w we|strong="G2249"\w* \w sailed|strong="G2249"\w*, \w they|strong="G2532"\w* \w put|strong="G2007"\w* \w on|strong="G2007"\w* \w board|strong="H7175"\w* \w such|strong="G3588"\w* \w things|strong="G3588"\w* \w as|strong="G2532"\w* \w we|strong="G2249"\w* \w needed|strong="G5532"\w*. 
\¬v
\¬p