\v=52
\v~=\w for|strong="G1063"\w* \w they|strong="G3588"\w* \w understood|strong="G4920"\w* \w not|strong="G3756"\w* \w concerning|strong="G1909"\w* \w the|strong="G1909"\w* \w loaves|strong="H3899"\w*, \w but|strong="G1063"\w* \w their|strong="G3588"\w* \w heart|strong="G2588"\w* \w was|strong="G1510"\w* \w hardened|strong="G4456"\w*. 
\¬v
\¬p