Membership testing with count() and in