. . . . "This explicitly checks that the total number of people in the group is 3 and that the members are A, B, and C (assuming that there is a unique constraint on Alpha(GroupID, Member) so that a member can not be listed twice as belonging to the same group)." .