 Even though this argument may be circular, does (Necessitation-T) at least have the favourable feature that adopting it enables us to avoid the other difficulty that beset (Entailment-T), viz. over-generation? Not if there are things that necessitate a truth whilst still failing to be sufficiently relevant to be plausible truth-makers for it. If the necessitation relation is so distributed that it holds between any contingently existing portion of reality, e.g., an ice-floe, and any necessary truth, e.g., 2+2=4, then we shall be no further forward than we were before. So Armstrong needs to tell us more about the cross-categorial relation in question to assure us that such cases cannot arise. Smith suggests another problem case for (Necessitarian-T). 