 We have to use a different approach for atomic formulas. But for these, at least assuming for simplicity that \(L\) has no function symbols, we can use the metalanguage copies \(\#(R)\) of the predicate symbols \(R\) of the object language. Thus: