\v=25
\v~=\w There|strong="H1961"\w* \w shall|strong="H8478"\w* \w be|strong="H1961"\w* \w eight|strong="H8083"\w* boards, \w and|strong="H3701"\w* \w their|strong="H1961"\w* \w sockets|strong="H0134"\w* \w of|strong="H8478"\w* \w silver|strong="H3701"\w*, \w sixteen|strong="H6240"\w* \w sockets|strong="H0134"\w*; \w two|strong="H8147"\w* \w sockets|strong="H0134"\w* \w under|strong="H8478"\w* \w one|strong="H0259"\w* board, \w and|strong="H3701"\w* \w two|strong="H8147"\w* \w sockets|strong="H0134"\w* \w under|strong="H8478"\w* \w another|strong="H0259"\w* board. 
\¬v
\¬p