Have worked out the main reactive model for forward lazy propagation.
The presentation isn't worth looking at!