source of $j$ was $D$. However we know that the source of $j$ should be $S$ and hence the time component of $j$ should be restored to the backup value.

Consequently, in the case that $S$ was inactive, regardless of what the status of $j$ was, we are sure its new status must be active and its time component can be restored to the original value. This restoration is not necessary in the case that $j$ was passive, however there is no harm in doing it.

If the edge $j$ was not active before, then the edge $j$ should be added to the list of active edges. If the edge $j$ was active before, then it should be removed from the list of triggered edges because all triggered edges will be merged into active edges. The edge $j$ already appears in the list of active edges and need not be added again.

### Case in which the source $S$ was active before triggering

In this case we create phantom edges. Each such triggered edge generates four entries in the phantom sequence. The first one is the source, the second is the destination, the third is the label of the source 