  Autonomy and inheritance solutions grant at least this much to the Exclusion Problem: mental and physical properties are numerically distinct, however intimately they are otherwise related. But a third sort of strategy tries to undermine the argument at exactly this point: any mental property just is its physical realizer. If M=P, there’s no question of one’s excluding the  other, nor is there any mystery of how M can work through  P, for M and P are one and the same.