blue led subgroup of led, 7 assertions