When Peter Gabriel left, we obviously lost a very strong stage performer. Phil hasn't replaced him; Phil's done a different thing.