Implementing BackwardStateMachine -- untested.