A happy group of people.