\v=26 \v~=[] \¬v