\v=11
\v~=\w Thus|strong="H3541"\w* \w did|strong="H3068"\w* \w Moses|strong="H4872"\w*: \w as|strong="H3068"\w* \w Jehovah|strong="H3068"\w* \w commanded|strong="H6680"\w* \w him|strong="H5414"\w*, \w so|strong="H3947"\w* \w did|strong="H3068"\w* \w he|strong="H3588"\w*. 
\¬v
\¬p