The problem of applying an entailment account to ontological disputes is especially acute if the entailment relation is taken to be necessary implication. That choice results in the following criterion (introduced above in §1.5):