\v=21 \v~=... \¬v