nonmembership

not defined yet