[Tim C]

The whole 7.3.1 issue also deals with players that "leave the box in error" (by words).

I know of no umpire (I guess except one) that would call the penalty strike for a batter leaving the box because he "thought" it was strike three.