Completes logic for IStateTransition