If John Petrucci played for Pink Floyd