- Better fsm descriptions