Text this: Rooted Divergence-Preserving Branching Bisimilarity is a Congruence