Correct for this case and I absolutely would have done so in such situations, but such domain reduction does require a human reasoning that has to be separately

Correct for this case and I absolutely would have done so in such situations, but such domain reduction does require a human reasoning that has to be separately verified.