\v=21 \v~=[] \¬v