Andy Aledort, John Petrucci