 Proponents of “free logic” prefer to challenge the existential presupposition of singular terms (Lambert 2003, 124). In classical logic, names must have bearers. Free logic lacks this restriction and so countenances empty names as in ‘Sherlock Holmes is a detective’ and negative existentials such as ‘Pegasus does not exist’. Proponents of free logic suggest that these departures are a necessary condition for not trivially implying an existential proposition. Jan Heylen (2017) agrees but contends that free logic trivially implies other existential sentences. He concludes that any deductive answer to the question will beg the question. The background logic will always intrude.