Would it make sense to switch a pitcher once they go through the lineup once? Considering batting averages go up significantly the second and third time through the order. Of course a real dominant picture would still have a low average 2nd time through. But if I had a team of a bunch of good but not great pitchers I would systematically rotate them to maximize odds. I'm sure this is already done,