Hume famously said “There is no object, which implies the existence of any other if we consider these objects in themselves”.1 A typical, general, contemporary version of Hume’s Dictum reads: (HD) there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays a key role in many metaphysical debates. Beyond Hume’s original application to the case of causal connections, HD serves, for example, as ultimate reason to accept some combinatorial account of modality (Lewis 1986; Armstrong 1989), and to reject states of affairs (Lewis 1992) and necessitarian accounts of properties and laws (Armstrong 1983). Especially in its combinatorialist guise HD crops up as a crucial premise (see van Cleve 1990 and K...