reflection rainbow subgroup of rainbow, 1 assertions