If the exponential function fails to be total in M, then M's arithmetic is too weak to interpret sta...