\v=11 \v~=[] \¬v