Tá, mas e o John Petrucci, cadê?