Section 5 investigates the properties of the densities when iterated via the dynamics.
It is now clear that we may iterate these constructions.
Synthesis is achieved by iterating grains either synchronously or asynchronously.
Quantification over predicate assignments is realized by iterating over all type-compatible predicate assignments.
This is intuitively reasonable, as one would expect the generic infinite chain to be obtained by 'freely iterating' the lift functor.
A pointwise rule documents a subroutine where the dependency of each iterate is explicitly through the (possibly indirect) accesses documented in the rule body.
Indeed, when one iterates f complicated denominators do arise, but they always disappear when one cancels common factors between numerators and denominators.
To investigate this problem, we gave incorrect variance ratios as the initial values and iterated until convergence.
