If disjunctive types share the same causal intersection as generic types, then the account cannot distinguish generic types from disjunctive constructions of determinate types

A subset-of-causal-relations account of generic/determinable universals promisingly accommodates many features of determination, for reasons similar to those attaching to powers-based accounts, below. It also ensures the metaphysical irreducibility of a generic/determinable type to any specific/determinate type, by the principle of the indiscernibility of identicals (if \(G\) has only a proper subset of causal relations of \(S\), \(G\) cannot be identified with \(S\)); and if this proper subset