\v=30
\v~=\w And|strong="G2532"\w* \w behold|strong="G2400"\w*, \w there|strong="G2532"\w* \w are|strong="G1510"\w* \w last|strong="G2078"\w* \w who|strong="G3739"\w* \w shall|strong="G2532"\w* \w be|strong="G1510"\w* \w first|strong="G4413"\w*, \w and|strong="G2532"\w* \w there|strong="G2532"\w* \w are|strong="G1510"\w* \w first|strong="G4413"\w* \w who|strong="G3739"\w* \w shall|strong="G2532"\w* \w be|strong="G1510"\w* \w last|strong="G2078"\w*. 
\¬v
\¬p