rgb led subgroup of led, 4 assertions