(n)pitching changereplacing a pitcher in baseball