 To be a nihilist for \(t_1\) counted by \(u_1\) is to hold that concrete objects fall under no highest type. The bundle theorist who is an eliminativist about concrete objects is a nihilist of this sort (substance nihilism). She rejects the target: she thinks that there are no concrete objects to  count.[1]  One who accepts concrete objects but rejects the relevant notion of “highest” type would also be a nihilist for \(t_1\) counted by \(u_1\). She rejects the unit: she thinks that this is no way to count.