Yeah.
Here are just bindings but , right ? we might want to introduce mental spaces  You know , there 's all these things that we don't
The whole  the mental space thing is clearly not here.
Right ? So there 's going to be some extra  you know , definitely other notation we 'll need for that which we skip for now.