 However, while (4) provides a sufficient condition for physicalism, it does not provide a necessary condition. Consider again the United States Court of Appeals for the Seventh Circuit. If type physicalism is true, then every property that the court has (for example, having a legal power over lower courts) must be identical with some physical property. But on the face of it, that is unlikely. Nevertheless, physicalism might still be true. If so, type physicalism is not necessary for physicalism. (Notice again that there is no parallel problem for supervenience physicalism. It entails that the property having a legal power over lower courts supervenes on physical properties, not that it is identical with a physical property.)