A theorem that guarantees uniqueness only when reduction terminates cannot ground a general claim ab...