\v=14 \v~=[] \¬v