Isnt that all that can be done in PA given the type of machines they use?
They need to count them again until they get the “right” answer.