bright light subgroup of light, 14 assertions