 Of course actual knowledge about the non-actual is no better at singling out worlds. The special problem for the non-actual knower is that the content of her thought must be precisely the content that we grasp when we consider the truth of \(\A p\). Being in the actual world we are able to single out this world uniquely. When we consider the truth of \(\A p\) our context fixes the content of A specifically. So if it really is \(\A p\) that is knowable by a non-actual knower, then it must be \(\A p\) that she grasps—that is, it must be the very same concept that we grasp. But how this is possible is precisely the problem.