\v=19 \v~=... \¬v