good logo subgroup of logo, 26 assertions