CONTAINS AS NORMAL SUBGROUP