is "football happy," which is one of the best kinds of happy.