\v=3 \v~=Simon; called Thassi: \¬v