 So "cats are everywhere" holds true if and only if a stage exists of individuals of the kind "cat" who are everywhere relevant in the domain of discourse.Crucially, it is not the case that "cats" as a kind possess the property of being "everywhere".This creates an ontological distinction between the two predicate types, i(ndividual)-level and s(tage)-level.