In this talk, I will discuss some of the details needed for the theory of controlled rough paths in the infinite dimensional Banach space setting. A key point will be that one may use truncated signatures of smooth curves as ``generating functions'' of the algebraic identities needed to make the theory work. This is a report on work in progress.