To illustrate the problem of sufficiency, consider the following examples. Suppose, as is standard, that the existence of a set necessitates the existence of any of its members. Then, intuitively, the sentence ‘{a, b} exists’ is implicitly committed to a, a result that is captured by entailment accounts of ontological commitment. But since the existence of a is not sufficient for the existence of {a, b}, a is not a truthmaker for ‘{a, b} exists’, and the truthmaker criterion for particulars fail