\v=42
\v~=\w and|strong="H1004"\w* \w they|strong="H3947"\w* \w shall|strong="H1004"\w* \w take|strong="H3947"\w* \w other|strong="H0312"\w* \w stones|strong="H0068"\w*, \w and|strong="H1004"\w* \w put|strong="H3947"\w* \w them|strong="H3947"\w* \w in|strong="H1004"\w* \w the|strong="H3947"\w* \w place|strong="H8478"\w* \w of|strong="H1004"\w* \w those|strong="H1992"\w* \w stones|strong="H0068"\w*; \w and|strong="H1004"\w* \w he|strong="H1004"\w* \w shall|strong="H1004"\w* \w take|strong="H3947"\w* \w other|strong="H0312"\w* \w mortar|strong="H2563"\w*, \w and|strong="H1004"\w* \w shall|strong="H1004"\w* \w plaster|strong="H6083"\w* \w the|strong="H3947"\w* \w house|strong="H1004"\w*. 
\¬v
\¬p