 Turning now to type physicalism, this holds that every property (or at least every property instantiated in the actual world) is identical with some physical property. So the type physicalist supposes that physicalism should be formulated in the following way: