 Unlike both token physicalism and supervenience physicalism, type physicalism is sufficient for physicalism: if every property instantiated in the actual world is identical with some physical property, then dualism will be false in any of the versions we have considered