 If \(V\) is an \(n\)-place predicate letter in \(K\), and \(t_1, \ldots,t_n\) are terms of \(K\), then \(Vt_1 \ldots t_n\) is an atomic formula of \(\LKe\). Notice that the terms \(t_1, \ldots,t_n\) need not be distinct. Examples of atomic formulas include: