Sometimes that works, but if there is more than one possible next state, you need to return a supertype and you're back where you started.