State machines are easy to use, but hard to define. What is a state, really?