Yeah.
A construction type. Uh , that 's fine. But it , um
Right. A well , and a previous , um , you know , version of the notation certainly allowed you to single out the meaning bit by it. So you could say " construct of type whatever designates something ".
Yeah.