 That is, what is true of everything—i.e., everything that actually exists—will be true of anything in particular if it is actual. Unlike Q2, FQ2 is valid in KQML as it stands and, moreover, every instance of it is necessary: what is true of everything in a given world will be true of anything in particular if it is identical with something in that world. Hence, FQ2 raises no problems for Nec. And, critically, outfitted with FQ2 instead of Q2, it is no longer possible to prove  BF.[58]