To be able to store all this, we started the XES or Extensible Event Stream event log format, which exactly records traces of sequences of events. So a trace usually has one attribute always that’s the concept semicolon name. So every trace has an attribute called concept semicolon name that indicates the name of this trace. In our example, for instance, the card number. Then, each trace contains several events. And each event, again, has a name, which usually is the activity that was executed, check-in, check-out, top up, et cetera. When did it happen? January 1, 2016, for instance. Who did it? So sometimes in a process, it’s not always the customer that does something, but it could be the clerk, or the secretary, or the manager. And additionally, you usually have the lifecycle transition. So for instance, one particular activity can be started and completed. So that would trigger two events. At 10:00, something was started. And at 11:00, the same activity was finished. Using all these attributes, you build up a trace of the events, which you can analyze using process mining techniques.