On the football field, the players high-fived happily, and the stadium was filled with happy music.