“…So, as a statement of UI, instead of having [∀xPx, Γ ⊨ Pa] with Γ empty, they may have something like [∀xPx, E!a ⊨ Pa]. These are two completely general, not relativized, rival principles of universal instantiation, which makes the tension between them a genuine case of logical disagreement (Williamson, 1988;Hattiangadi, 2018;Andersen, 2020;Hjortland, 2022;Rossi, 2023). Some free logicians may accept that [∀xPx ⊨ Pa] in case 'a' is not an empty name, but reject that this is the (correct) principle of universal instantiation, and endorse [∀xPx, E!a ⊨ Pa] instead.…”