\v=32
\v~=Kiongozi mkuu wa Walawi alikuwa Eleazari mwana wa kuhani, Aroni. Aliwekwa juu ya wale waliowajibika kutunza mahali patakatifu. 
\¬v
\¬p