\v=2
\v~=\w These|strong="H0428"\w* \w are|strong="H0428"\w* \w the|strong="H0499"\w* \w names|strong="H8034"\w* \w of|strong="H1121"\w* \w the|strong="H0499"\w* \w sons|strong="H1121"\w* \w of|strong="H1121"\w* \w Aaron|strong="H0175"\w*: \w Nadab|strong="H5070"\w* \w the|strong="H0499"\w* \w firstborn|strong="H1060"\w*, \w and|strong="H1121"\w* \w Abihu|strong="H0030"\w*, \w Eleazar|strong="H0499"\w*, \w and|strong="H1121"\w* \w Ithamar|strong="H0385"\w*. 
\¬v
\¬p