If a theory's quantifiers range over Ks and the theory is true, Ks are in the domain of quantificati...