 However, others (notably Pollock (1985) and Fine (1985)) respond that, while most properties and relations obviously entail existence—being a horse, say, or being taller than—it is far from clear that all do. Notably, if I fail to exist at a world, then that in some sense clearly seems to characterize me at that world and what else is characterization than property exemplification? Thus (these philosophers continue), it seems entirely reasonable to say that, at worlds in which I fail to exist, I have the property non-existence, as well as the complements of all the distinctly human properties noted above—non-consciousness, non-embodiment, etc., my nonexistence  notwithstanding.[49]  So for these philosophers, the condition \(\pi_w^\calK \subseteq D^n\) on the assignment of extensions to predicates is fine as it stands.