Figure: Liveness in MSC