\v=27 \v~=Abram, which is Abraham. \¬v