The proof box defines an ancient formula first used by the Greeks: at-bats + walks + sacrifices + hit batsmen + interference calls = runs + putouts + runners stranded. If these two sums are not equal, go find your mistake. (The sum should also be the number of the last at-bat box used.)