So whatever construction we make, we can translate that to an operation on the generating function, so anything that we can constrruct, we have a generating function for. so and, and these are the proofs. 