All of these `@goto` should be using the `@states.XXX` properties.