Why can the grouper yield a group which is not in the all-groups set?