\v=16
\v~=\w only|strong="G4133"\w*, \w whereunto|strong="G3739"\w* \w we|strong="G3739"\w* \w have|strong="G3588"\w* \w attained|strong="G5348"\w*, \w by|strong="G1519"\w* \w that|strong="G3739"\w* \w same|strong="G3739"\w* \add \+w rule|strong="H4910"\+w*\add* \w let|strong="H7971"\w* \w us|strong="G1519"\w* \w walk|strong="G4748"\w*. 
\¬v
\¬p