\v=29 \v~=[] \¬v