 since with \(\bD\) empty and \(A(t/x)\) false, the first but not the second is true. Where there is need for such regularities, a non-inclusive free logic may be preferable to an inclusive one. Yet because inclusivity frees logic from one more existential presumption, many free logicians favor it.