QUOTE(Milkman delivers @ Jul 9, 2006 -> 05:09 PM)
I thought the same thing on the first pitch.
Well, that's a relief.
Follow this logic: David Ortiz has a perfect batting eye; hencefore, he will never swing out of the strike-zone. Thus, via contripositive, should Ortiz not swing at a ball, it must be out of the strike-zone, otherwise this would contridict the premise of his perfect batting eye. Hencewidth, there can be no strike on Ortiz without him swinging.