Specifically, we do not make use of the possibilities offered by the interleaving of the RE and LC, as the examples we cover are too simple.
this setup enables RE, in principle, to make use of information about precisely how a previous reference to an entity has been realised.