 While there are perhaps different ways of usefully typing illustrative cases, here we focus on three categories. Importantly, this taxonomy isn’t intended to be exhaustive, and it may be that these categories aren’t exclusive either. First, there are metaphysical cases, cases in which entities that \([P],\) \([P'],\) … concern are metaphysically linked with entities \([Q]\) concerns. Our initial example of the truckers picketing is such a case. In this case, [The truckers are picketing] concerns the property of picketing, and the [The truckers are striking] concerns the property of striking. Plausibly, the property of striking is a functional property (a property whose nature is exhausted by its causal role), one functionally realized by the property of picketing on this occasion (as opposed to, say, the property of engaging in a work slowdown). The brittleness and mode examples look like metaphysical cases as well, where mereological realization and mode determination yoke the relevant entities in these cases, respectively. For other cases of this type, consider the following sentences, where "{Beijing}" refers to the set whose sole member is Beijing, and &lt;The truck is red&gt; refers to the proposition that the truck is red: