 \((\bD^n\) is the set of \(n\)-tuples of members of \(\bD\), a 1-tuple of an object \(d\) being just \(d\) itself.) Given a model \(\langle \bD,\bI\rangle\), we recursively define a valuation function \(\bV\) that assigns truth values to formulas as follows: