Do you really want poker hands decided because a player makes a mistake about whether another player called or not.