Where did the lyrics for 'The Happy Song' come from? To quote a friend, "it had just as sardonic a tone as I was hoping it would have"