If F is truly essential to K, any entity with F in all possible worlds becomes a candidate instance ...