!checkVote definition

!checkVote means any predicate but checkVote, and a || b is used used to match either a or b.