The invalidity of Box-N in KQML reflects a modeling choice about domains, not a metaphysical discove...