DECIDING WHEN THE ARITHMETIC IS STABLE ENOUGH TO STOP RECHECKING