What I'm talking about is nested loop with a-symmetric iteration = output feedback = loop accumulation. I got too deep into the shit of trying to unify two abstractions that I no longer know what I'm talking about. Is it really a problem? Can summation be handled without needing to The problem is state streams. If things happen behind the scenes, the indexing needs to be captured by the summation loop.