Tag: machine state logic