On the football field, the players were playing in earnest, and the audience in the auditorium sang loudly.