Doc for FSM assignment