change to a eligible FSM implement