Asymptotic decider