Hooked up fsm in user_logic. Untested.