color led subgroup of led, 2 assertions