Text this: A Practical Theory of Reactive Systems