If disjunctive types share the same causal intersection as generic types, then the account cannot di...