normal period subgroup of period, 1 assertions