"The Happiest Days of Our Lives" as written by and Roger Waters.