The Happiest Days of Our Lives / Another Brick in the Wall, Part II by Roger Waters