\v=9 \v~=Adoraimu, Lakishi, Azeka, \¬v