added a membership constraint