green light subgroup of light, 9 assertions