Soundness of KQML relative to its own semantics is a metalogical result internal to that semantic fr...