Great! Here you could check some stuff (for example, is `nextState` the right one?)