\v=31
\v~=\w But|strong="G1161"\w* \w many|strong="G4183"\w* \add \+w that|strong="G3588"\+w* \+w are|strong="G1510"\+w*\add* \w first|strong="G4413"\w* \w shall|strong="G2532"\w* \w be|strong="G1510"\w* \w last|strong="G2078"\w*; \w and|strong="G2532"\w* \w the|strong="G2532"\w* \w last|strong="G2078"\w* \w first|strong="G4413"\w*. 
\¬v
\¬p