 The most common actualist response to the invalidity of Q2, rather than to try to preserve it by modifying the semantics of KQML, is simply to replace it with its  free logical  counterpart (see, e.g., Fine 1978, Menzel 1991):