You are right, David Gilmour, Roger Waters, Richard Wright jams on Another Brick in the Wall, Part 1.