[feature] State machine knows about constraints.