\v=18
\v~=\w while|strong="G1161"\w* \w we|strong="G2249"\w* \w look|strong="G4648"\w* \w not|strong="G3361"\w* \w at|strong="G1161"\w* \w the|strong="G1161"\w* \w things|strong="G3588"\w* \w which|strong="G3588"\w* \w are|strong="G3588"\w* \w seen|strong="H7200"\w*, \w but|strong="G1161"\w* \w at|strong="G1161"\w* \w the|strong="G1161"\w* \w things|strong="G3588"\w* \w which|strong="G3588"\w* \w are|strong="G3588"\w* \w not|strong="G3361"\w* \w seen|strong="H7200"\w*: \w for|strong="G1063"\w* \w the|strong="G1161"\w* \w things|strong="G3588"\w* \w which|strong="G3588"\w* \w are|strong="G3588"\w* \w seen|strong="H7200"\w* \w are|strong="G3588"\w* \w temporal|strong="G4340"\w*; \w but|strong="G1161"\w* \w the|strong="G1161"\w* \w things|strong="G3588"\w* \w which|strong="G3588"\w* \w are|strong="G3588"\w* \w not|strong="G3361"\w* \w seen|strong="H7200"\w* \w are|strong="G3588"\w* \w eternal|strong="H5769"\w*. 
\¬v
\¬p
\¬c