 Any analysis along these lines will leave the grounding theorist dissatisfied. One reson to be skeptical about an analysis of dependence in terms of supervenience is that supervenience is neither irreflexive nor asymmetric (unless by way of stipulation). In contrast, the sort of dependence grounding theorists are after when claiming that the mental depends on the physical requires that the physical does not depend on the mental, neither in whole nor in part. Unlike supervenience, dependence, at least of the sort assumed in the grounding literature, is asymmetric and irreflexive. And dependence claims may concern necessarily (co-)existing entities; dependence, unlike supervenience, appears to generate hyper-intensional contexts, i.e. contexts in which even substitution of necessary equivalents is not guarantee to preserve truth value (for further discussion, see Schaffer 2009, 364). 