Domain d4fsma_: 4fsm A: