 II: Meta-syntactic: the expression referred to by \(N\) is an instance of the syntactic category \(\tau\). The syntactic theory in which the ascription of term to type occurs is ‘meta’, relative to a background intellectual context, in that it is not there presented as (under its intended interpretation) part of a more general, non-syntactic theory expressed in a language for which it itself provides the syntax. 