second rainbow subgroup of rainbow, 1 assertions