Symbol: to_most_snd_grp