Free logic permits non-denoting terms and empty domains, making N_Q weaker than □N without the presu...