 where all free occurrences of \(x_{i1},\ldots,x_{in_i} \) in \(\f_i\) become bound. Now Q associates with each universe M a k-ary relation \(Q_M\) between relations over M, where the ith argument is an \(n_i\)-ary relation between individuals. The corresponding clause in the truth definition becomes