Mm-hmm

... continuous functionals are already determined on the lower types anyway.

You've included all the lower types, so everything is already there.

So you only need one infinite type.

Maybe this was connected with something that I, uh, discovered as a graduate student.

Uh, I studied under, uh, Alfred Tarski very much in, uh, Berkeley in the early 1950s.

And of course, I was very pleased, uh, to, uh, learn the work that he did on the decidability of, uh, Euclidean geometry.

Right.