So here's one just with uninary numbers, so, a an atom of cartesian product with a sequence of atoms is, gives that list and there's binary trees so in, external node kind of atom, crossed with an internal node kind of atom crossed with a little tree of size of one, gives a two tree node. that the, that's the kind of constructions that we're going to use. 