 and line 6 is unproblematically valid in KQML: it is simply the innocuous triviality that everything in a given world is identical to something in that world—not, as \(\Box\textbf{N}\) would have it, in every world.