\v=29 \v~=... \¬v