Proven that a step in the labelled has a step in the trace!