 (Warning: the expression \(\#\) is in the metametalanguage, not in the metalanguage \(M\). We may or may not be able to find a formula of \(M\) that expresses \(\#\) for predicate symbols; it depends on exactly what the language \(L\) is.)