Representative rules depicting the merging of the base unit with the water storage unit.
An interleaved evaluation of an expression consists of an arbitrary merging of the atomic steps that constitute the evaluation of its subparts.
Finally, some recent developments which promise at least a partial merging of agendas will be examined.