 Let \(P\) be a zero-place predicate letter in \(K\). Then \(I(P)\) is truth if \(P\) is in \(\Gamma''\) and \(I(P)\) is falsehood otherwise. Let \(Q\) be a one-place predicate letter in \(K\). Then \(I(Q)\) is the set of constants \(\{\)c\(_i | c_i\) is in \(d\) and the sentence \(Qc\) is in \(\Gamma''\}\). Let \(R\) be a binary predicate letter in \(K\). Then \(I(R)\) is the set of pairs of constants \(\{\langle c_i,c_j\rangle | c_i\) is in \(d, c_j\) is in \(d\), and the sentence \(Rc_{i}c_{j}\) is in \(\Gamma''\}\). Three-place predicates, etc. are interpreted similarly. In effect, \(I\) interprets the non-logical terminology as they are in \(\Gamma''\).