We would not rise to except in the rare case where we want to treat the metalanguage hy means of itself, and want furthermore to extend the notion of validity beyond the se mantics of logic to the semantics of semantics.