\v=7
\v~=Meshullam, Abijah, Mijamin, 
\¬v