secondary rainbow subgroup of rainbow, 2 assertions