On Friday, 1 June 2018 21:59:28 UTC+1, András Kovács wrote: > > I like this question. If the syntax is supposed to be the initial model, >> then it can't be a set. > > > Why? > I don't think the initial model is a set. Is it? Martin