In Sect. 4.2, we used C and E to denote the case respectively event universe.
This was used to be able to refer to a case and event. In XES, such unique identifiers
are not necessary. In fact, one can think of the position in the log as the identifier of
an event or case