There is therefore no relation between what happens immediatly before it, and what happens immediately after it.
following this, we aggregate rules with the same right hand sides and repeat the operation.