Text this: On the expressive power of Kleene algebra with domain.