\v=2 \v~=(though Jesus himself did not baptize, but his disciples,) \¬v