 Truthmakers theorists have been looking for a relationship between true propositions and the aspects of the world that make those propositions true. Theories of this relation often make truthmaking hyperintensional: \(A\) and \(B\) may be necessarily equivalent, yet the worldly bit that makes \(A\) true is distinct from the one that makes \(B\) true. As Restall (1996a) points out, this seems to follow if one also endorses the Disjunction Thesis: something is a truthmaker for (\(A\) or \(B\)) iff it is a truthmaker for \(A\) or a truthmaker for \(B\). Independently of the Disjunction Thesis, a truthmaker for one necessary truth may plausibly not be a truthmaker for all others: “There are infinitely many prime numbers” should have as truthmaker something to do with numbers. “Anyone who eats and drinks at least eats” seems to not have anything to do with numbers. See MacBride (2013 [2020], the SEP entry on  truthmakers, section 1)  for some accounts of truthmaking where necessarily equivalent propositions need not have the same truthmaker.