\v=36 \v~=[] \¬v