Should STATE_FAILED also be a valid transition from both in progress states? My thinking is that if either of those fail, the entire thing fails, but there may be a different meaning/usage to STATE_FAILED than I'm realizing.