\b
\p
\v=24
\v~=\w It|strong="G2532"\w* \w is|strong="G1510"\w* \w this|strong="G3778"\w* \w disciple|strong="G3101"\w* \w who|strong="G3588"\w* states \w these|strong="G3778"\w* \w things|strong="G3778"\w*, \w and|strong="G2532"\w* \w who|strong="G3588"\w* \w recorded|strong="G1125"\w* \w them|strong="G3588"\w*; \w and|strong="G2532"\w* \w we|strong="G3754"\w* \w know|strong="G1492"\w* \w that|strong="G3754"\w* \w his|strong="G4012"\w* \w statement|strong="H4008"\w* \w is|strong="G1510"\w* \w true|strong="G3588"\w*. 
\¬v
\¬p