\v=22 \v~=பாவநிவாரணபலியாக ஒரு வெள்ளாட்டுக்கடாவும், \¬v