⁴There are program transformations that internalize conditions on message delivery to ensure a stronger fairness condition [89].