Tag: state space reduction