Make state transitions return a value (because our code checks it)