Mm - hmm.
And , um , after a little bit more discussion and especially like Keith and I  I have more linguistic things to settle in the next few days , um , it 'll probably change again some more.
Yeah.
Um , maybe I will  let 's start b let 's start on number two actually on the notation , um , because that 's , I 'm thinking , possibly a little more familiar to , um  to people. OK , so the top block is just sort of a  sort of abstract nota it 's sort of like , um , listings of the kinds of things that we can have. And certain things that have , um , changed , have changed back to this. There  there 's been a little bit of , um , going back and forth. But basically obviously all constructions have some kind of name. I forgot to include that you could have a type included in this line.